H-Termination proof of /home/matraf/haskell/eval_FullyBlown

YES 6.907 H-Termination proof of /home/matraf/haskell/eval_FullyBlown_Fast/empty.hs
H-Termination of the given Haskell-Program with start terms could successfully be proven:

↳ HASKELL

  ↳ IFR

mainModule Main

((realToFrac :: Int -> Float) :: Int -> Float)

module Main where

import qualified Prelude

If Reductions:
The following If expression

if primGEqNatS x y then Succ (primDivNatS (primMinusNatS x y) (Succ y)) else Zero

is transformed to

primDivNatS0 x y True = Succ (primDivNatS (primMinusNatS x y) (Succ y))

primDivNatS0 x y False = Zero

The following If expression

if primGEqNatS x y then primModNatS (primMinusNatS x y) (Succ y) else Succ x

is transformed to

primModNatS0 x y True = primModNatS (primMinusNatS x y) (Succ y)

primModNatS0 x y False = Succ x

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

mainModule Main

((realToFrac :: Int -> Float) :: Int -> Float)

module Main where

import qualified Prelude

Replaced joker patterns by fresh variables and removed binding patterns.

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

mainModule Main

((realToFrac :: Int -> Float) :: Int -> Float)

module Main where

import qualified Prelude

Cond Reductions:
The following Function with conditions

gcd' x 0 = x

gcd' x y = gcd' y (x `rem` y)

is transformed to

gcd' x xz = gcd'2 x xz

gcd' x y = gcd'0 x y

gcd'0 x y = gcd' y (x `rem` y)

gcd'1 True x xz = x

gcd'1 yu yv yw = gcd'0 yv yw

gcd'2 x xz = gcd'1 (xz == 0) x xz

gcd'2 yx yy = gcd'0 yx yy

The following Function with conditions

gcd 0 0 = error []

gcd x y =

gcd' (abs x) (abs y)

where

gcd' x 0 = x

gcd' x y = gcd' y (x `rem` y)

is transformed to

gcd yz zu = gcd3 yz zu

gcd x y = gcd0 x y

gcd0 x y =

gcd' (abs x) (abs y)

where

gcd' x xz = gcd'2 x xz

gcd' x y = gcd'0 x y

gcd'0 x y = gcd' y (x `rem` y)

gcd'1 True x xz = x

gcd'1 yu yv yw = gcd'0 yv yw

gcd'2 x xz = gcd'1 (xz == 0) x xz

gcd'2 yx yy = gcd'0 yx yy

gcd1 True yz zu = error []

gcd1 zv zw zx = gcd0 zw zx

gcd2 True yz zu = gcd1 (zu == 0) yz zu

gcd2 zy zz vuu = gcd0 zz vuu

gcd3 yz zu = gcd2 (yz == 0) yz zu

gcd3 vuv vuw = gcd0 vuv vuw

The following Function with conditions

absReal x

| x >= 0

= x

| otherwise

= `negate` x

is transformed to

absReal x = absReal2 x

absReal1 x True = x

absReal1 x False = absReal0 x otherwise

absReal0 x True = `negate` x

absReal2 x = absReal1 x (x >= 0)

The following Function with conditions

undefined

| False

= undefined

is transformed to

undefined = undefined1

undefined0 True = undefined

undefined1 = undefined0 False

The following Function with conditions

reduce x y

| y == 0

= error []

| otherwise

= x `quot` d :% (y `quot` d)

where

d = gcd x y

is transformed to

reduce x y = reduce2 x y

reduce2 x y =

reduce1 x y (y == 0)

where

d = gcd x y

reduce0 x y True = x `quot` d :% (y `quot` d)

reduce1 x y True = error []

reduce1 x y False = reduce0 x y otherwise

The following Function with conditions

signumReal x

| x == 0

= 0

| x > 0

= 1

| otherwise

= -1

is transformed to

signumReal x = signumReal3 x

signumReal0 x True = -1

signumReal2 x True = 0

signumReal2 x False = signumReal1 x (x > 0)

signumReal1 x True = 1

signumReal1 x False = signumReal0 x otherwise

signumReal3 x = signumReal2 x (x == 0)

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

mainModule Main

((realToFrac :: Int -> Float) :: Int -> Float)

module Main where

import qualified Prelude

Let/Where Reductions:
The bindings of the following Let/Where expression

reduce1 x y (y == 0)

where

d = gcd x y

reduce0 x y True = x `quot` d :% (y `quot` d)

reduce1 x y True = error []

reduce1 x y False = reduce0 x y otherwise

are unpacked to the following functions on top level

reduce2Reduce0 vux vuy x y True = x `quot` reduce2D vux vuy :% (y `quot` reduce2D vux vuy)

reduce2Reduce1 vux vuy x y True = error []

reduce2Reduce1 vux vuy x y False = reduce2Reduce0 vux vuy x y otherwise

reduce2D vux vuy = gcd vux vuy

The bindings of the following Let/Where expression

gcd' (abs x) (abs y)

where

gcd' x xz = gcd'2 x xz

gcd' x y = gcd'0 x y

gcd'0 x y = gcd' y (x `rem` y)

gcd'1 True x xz = x

gcd'1 yu yv yw = gcd'0 yv yw

gcd'2 x xz = gcd'1 (xz == 0) x xz

gcd'2 yx yy = gcd'0 yx yy

are unpacked to the following functions on top level

gcd0Gcd'2 x xz = gcd0Gcd'1 (xz == 0) x xz

gcd0Gcd'2 yx yy = gcd0Gcd'0 yx yy

gcd0Gcd'1 True x xz = x

gcd0Gcd'1 yu yv yw = gcd0Gcd'0 yv yw

gcd0Gcd' x xz = gcd0Gcd'2 x xz

gcd0Gcd' x y = gcd0Gcd'0 x y

gcd0Gcd'0 x y = gcd0Gcd' y (x `rem` y)

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

mainModule Main

((realToFrac :: Int -> Float) :: Int -> Float)

module Main where

import qualified Prelude

Num Reduction: All numbers are transformed to thier corresponding representation with Pos, Neg, Succ and Zero.

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

mainModule Main

(realToFrac :: Int -> Float)

module Main where

import qualified Prelude

Haskell To QDPs

digraph dp_graph {
node [outthreshold=100, inthreshold=100];1[label="realToFrac",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
3[label="realToFrac vuz3",fontsize=16,color="black",shape="triangle"];3 -> 4[label="",style="solid", color="black", weight=3];
4[label="fromRational . toRational",fontsize=16,color="black",shape="box"];4 -> 5[label="",style="solid", color="black", weight=3];
5[label="fromRational (toRational vuz3)",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3];
6[label="primRationalToFloat (toRational vuz3)",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3];
7 -> 624[label="",style="dashed", color="red", weight=0];
7[label="rationalToFloat (toRational vuz3)",fontsize=16,color="magenta"];7 -> 625[label="",style="dashed", color="magenta", weight=3];
625[label="toRational vuz3",fontsize=16,color="black",shape="box"];625 -> 914[label="",style="solid", color="black", weight=3];
624[label="rationalToFloat vuz35",fontsize=16,color="burlywood",shape="triangle"];1797[label="vuz35/vuz350 :% vuz351",fontsize=10,color="white",style="solid",shape="box"];624 -> 1797[label="",style="solid", color="burlywood", weight=9];
1797 -> 915[label="",style="solid", color="burlywood", weight=3];
914[label="toInteger vuz3 % fromInt (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];914 -> 916[label="",style="solid", color="black", weight=3];
915[label="rationalToFloat (vuz350 :% vuz351)",fontsize=16,color="burlywood",shape="box"];1798[label="vuz350/Integer vuz3500",fontsize=10,color="white",style="solid",shape="box"];915 -> 1798[label="",style="solid", color="burlywood", weight=9];
1798 -> 917[label="",style="solid", color="burlywood", weight=3];
916[label="reduce (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (abs (fromInt (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];916 -> 918[label="",style="solid", color="black", weight=3];
917[label="rationalToFloat (Integer vuz3500 :% vuz351)",fontsize=16,color="burlywood",shape="box"];1799[label="vuz351/Integer vuz3510",fontsize=10,color="white",style="solid",shape="box"];917 -> 1799[label="",style="solid", color="burlywood", weight=9];
1799 -> 919[label="",style="solid", color="burlywood", weight=3];
918[label="reduce2 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (abs (fromInt (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];918 -> 920[label="",style="solid", color="black", weight=3];
919[label="rationalToFloat (Integer vuz3500 :% Integer vuz3510)",fontsize=16,color="black",shape="box"];919 -> 921[label="",style="solid", color="black", weight=3];
920[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (abs (fromInt (Pos (Succ Zero)))) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (abs (fromInt (Pos (Succ Zero)))) (abs (fromInt (Pos (Succ Zero))) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];920 -> 922[label="",style="solid", color="black", weight=3];
921[label="Float vuz3500 vuz3510",fontsize=16,color="green",shape="box"];922[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal (fromInt (Pos (Succ Zero)))) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal (fromInt (Pos (Succ Zero)))) (absReal (fromInt (Pos (Succ Zero))) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];922 -> 923[label="",style="solid", color="black", weight=3];
923[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal2 (fromInt (Pos (Succ Zero)))) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal2 (fromInt (Pos (Succ Zero)))) (absReal2 (fromInt (Pos (Succ Zero))) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];923 -> 924[label="",style="solid", color="black", weight=3];
924[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal1 (fromInt (Pos (Succ Zero))) (fromInt (Pos (Succ Zero)) >= fromInt (Pos Zero))) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal1 (fromInt (Pos (Succ Zero))) (fromInt (Pos (Succ Zero)) >= fromInt (Pos Zero))) (absReal1 (fromInt (Pos (Succ Zero))) (fromInt (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];924 -> 925[label="",style="solid", color="black", weight=3];
925[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal1 (fromInt (Pos (Succ Zero))) (compare (fromInt (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT)) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal1 (fromInt (Pos (Succ Zero))) (compare (fromInt (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT)) (absReal1 (fromInt (Pos (Succ Zero))) (compare (fromInt (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];925 -> 926[label="",style="solid", color="black", weight=3];
926[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal1 (fromInt (Pos (Succ Zero))) (not (compare (fromInt (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT))) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal1 (fromInt (Pos (Succ Zero))) (not (compare (fromInt (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT))) (absReal1 (fromInt (Pos (Succ Zero))) (not (compare (fromInt (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];926 -> 927[label="",style="solid", color="black", weight=3];
927[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];927 -> 928[label="",style="solid", color="black", weight=3];
928[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];928 -> 929[label="",style="solid", color="black", weight=3];
929[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];929 -> 930[label="",style="solid", color="black", weight=3];
930[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];930 -> 931[label="",style="solid", color="black", weight=3];
931[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];931 -> 932[label="",style="solid", color="black", weight=3];
932[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not False)) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not False)) (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];932 -> 933[label="",style="solid", color="black", weight=3];
933[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) True) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) True) (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];933 -> 934[label="",style="solid", color="black", weight=3];
934[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];934 -> 935[label="",style="solid", color="black", weight=3];
935[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == Integer (Pos Zero))",fontsize=16,color="black",shape="box"];935 -> 936[label="",style="solid", color="black", weight=3];
936[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (primEqInt (Pos (Succ Zero)) (Pos Zero))",fontsize=16,color="black",shape="box"];936 -> 937[label="",style="solid", color="black", weight=3];
937[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) False",fontsize=16,color="black",shape="box"];937 -> 938[label="",style="solid", color="black", weight=3];
938[label="reduce2Reduce0 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) otherwise",fontsize=16,color="black",shape="box"];938 -> 939[label="",style="solid", color="black", weight=3];
939[label="reduce2Reduce0 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) True",fontsize=16,color="black",shape="box"];939 -> 940[label="",style="solid", color="black", weight=3];
940[label="toInteger vuz3 * signum (Integer (Pos (Succ Zero))) `quot` reduce2D (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) :% (Integer (Pos (Succ Zero)) `quot` reduce2D (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))))",fontsize=16,color="green",shape="box"];940 -> 941[label="",style="dashed", color="green", weight=3];
940 -> 942[label="",style="dashed", color="green", weight=3];
941[label="toInteger vuz3 * signum (Integer (Pos (Succ Zero))) `quot` reduce2D (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];941 -> 943[label="",style="solid", color="black", weight=3];
942[label="Integer (Pos (Succ Zero)) `quot` reduce2D (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];942 -> 944[label="",style="solid", color="black", weight=3];
943[label="Integer vuz3 * signum (Integer (Pos (Succ Zero))) `quot` reduce2D (Integer vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];943 -> 945[label="",style="solid", color="black", weight=3];
944[label="Integer (Pos (Succ Zero)) `quot` gcd (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];944 -> 946[label="",style="solid", color="black", weight=3];
945[label="Integer vuz3 * signumReal (Integer (Pos (Succ Zero))) `quot` reduce2D (Integer vuz3 * signumReal (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];945 -> 947[label="",style="solid", color="black", weight=3];
946[label="Integer (Pos (Succ Zero)) `quot` gcd3 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];946 -> 948[label="",style="solid", color="black", weight=3];
947[label="Integer vuz3 * signumReal3 (Integer (Pos (Succ Zero))) `quot` reduce2D (Integer vuz3 * signumReal3 (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];947 -> 949[label="",style="solid", color="black", weight=3];
948[label="Integer (Pos (Succ Zero)) `quot` gcd2 (toInteger vuz3 * signum (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];948 -> 950[label="",style="solid", color="black", weight=3];
949[label="Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) `quot` reduce2D (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == fromInt (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];949 -> 951[label="",style="solid", color="black", weight=3];
950[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signum (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];950 -> 952[label="",style="solid", color="black", weight=3];
951[label="Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) `quot` reduce2D (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == Integer (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];951 -> 953[label="",style="solid", color="black", weight=3];
952[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer vuz3 * signumReal (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];952 -> 954[label="",style="solid", color="black", weight=3];
953[label="Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (primEqInt (Pos (Succ Zero)) (Pos Zero)) `quot` reduce2D (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (primEqInt (Pos (Succ Zero)) (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];953 -> 955[label="",style="solid", color="black", weight=3];
954[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal3 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer vuz3 * signumReal3 (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];954 -> 956[label="",style="solid", color="black", weight=3];
955[label="Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) False `quot` reduce2D (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) False) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];955 -> 957[label="",style="solid", color="black", weight=3];
956[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) == fromInt (Pos Zero)) (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == fromInt (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];956 -> 958[label="",style="solid", color="black", weight=3];
957[label="Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) > fromInt (Pos Zero)) `quot` reduce2D (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) > fromInt (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];957 -> 959[label="",style="solid", color="black", weight=3];
958[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) == fromInt (Pos Zero)) (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == Integer (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];958 -> 960[label="",style="solid", color="black", weight=3];
959[label="Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == GT) `quot` reduce2D (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];959 -> 961[label="",style="solid", color="black", weight=3];
960[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (primEqInt (Pos (Succ Zero)) (Pos Zero)) == fromInt (Pos Zero)) (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (primEqInt (Pos (Succ Zero)) (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];960 -> 962[label="",style="solid", color="black", weight=3];
961[label="Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == GT) `quot` reduce2D (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];961 -> 963[label="",style="solid", color="black", weight=3];
962[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) False == fromInt (Pos Zero)) (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) False) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];962 -> 964[label="",style="solid", color="black", weight=3];
963[label="Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (primCmpInt (Pos (Succ Zero)) (Pos Zero) == GT) `quot` reduce2D (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (primCmpInt (Pos (Succ Zero)) (Pos Zero) == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];963 -> 965[label="",style="solid", color="black", weight=3];
964[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) > fromInt (Pos Zero)) == fromInt (Pos Zero)) (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) > fromInt (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];964 -> 966[label="",style="solid", color="black", weight=3];
965[label="Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (primCmpNat (Succ Zero) Zero == GT) `quot` reduce2D (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (primCmpNat (Succ Zero) Zero == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];965 -> 967[label="",style="solid", color="black", weight=3];
966[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == GT) == fromInt (Pos Zero)) (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];966 -> 968[label="",style="solid", color="black", weight=3];
967[label="Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (GT == GT) `quot` reduce2D (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (GT == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];967 -> 969[label="",style="solid", color="black", weight=3];
968[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == GT) == fromInt (Pos Zero)) (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];968 -> 970[label="",style="solid", color="black", weight=3];
969[label="Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) True `quot` reduce2D (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) True) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];969 -> 971[label="",style="solid", color="black", weight=3];
970[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (primCmpInt (Pos (Succ Zero)) (Pos Zero) == GT) == fromInt (Pos Zero)) (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (primCmpInt (Pos (Succ Zero)) (Pos Zero) == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];970 -> 972[label="",style="solid", color="black", weight=3];
971[label="Integer vuz3 * fromInt (Pos (Succ Zero)) `quot` reduce2D (Integer vuz3 * fromInt (Pos (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];971 -> 973[label="",style="solid", color="black", weight=3];
972[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (primCmpNat (Succ Zero) Zero == GT) == fromInt (Pos Zero)) (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (primCmpNat (Succ Zero) Zero == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];972 -> 974[label="",style="solid", color="black", weight=3];
973[label="Integer vuz3 * Integer (Pos (Succ Zero)) `quot` reduce2D (Integer vuz3 * Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];973 -> 975[label="",style="solid", color="black", weight=3];
974[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (GT == GT) == fromInt (Pos Zero)) (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (GT == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];974 -> 976[label="",style="solid", color="black", weight=3];
975[label="Integer (primMulInt vuz3 (Pos (Succ Zero))) `quot` reduce2D (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];975 -> 977[label="",style="solid", color="black", weight=3];
976[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) True) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];976 -> 978[label="",style="solid", color="black", weight=3];
977[label="Integer (primMulInt vuz3 (Pos (Succ Zero))) `quot` gcd (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];977 -> 979[label="",style="solid", color="black", weight=3];
978[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * fromInt (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer vuz3 * fromInt (Pos (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];978 -> 980[label="",style="solid", color="black", weight=3];
979[label="Integer (primMulInt vuz3 (Pos (Succ Zero))) `quot` gcd3 (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];979 -> 981[label="",style="solid", color="black", weight=3];
980[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer vuz3 * Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];980 -> 982[label="",style="solid", color="black", weight=3];
981[label="Integer (primMulInt vuz3 (Pos (Succ Zero))) `quot` gcd2 (Integer (primMulInt vuz3 (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];981 -> 983[label="",style="solid", color="black", weight=3];
982[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer (primMulInt vuz3 (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];982 -> 984[label="",style="solid", color="black", weight=3];
983[label="Integer (primMulInt vuz3 (Pos (Succ Zero))) `quot` gcd2 (Integer (primMulInt vuz3 (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];983 -> 985[label="",style="solid", color="black", weight=3];
984[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer (primMulInt vuz3 (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];984 -> 986[label="",style="solid", color="black", weight=3];
985[label="Integer (primMulInt vuz3 (Pos (Succ Zero))) `quot` gcd2 (primEqInt (primMulInt vuz3 (Pos (Succ Zero))) (Pos Zero)) (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1800[label="vuz3/Pos vuz30",fontsize=10,color="white",style="solid",shape="box"];985 -> 1800[label="",style="solid", color="burlywood", weight=9];
1800 -> 987[label="",style="solid", color="burlywood", weight=3];
1801[label="vuz3/Neg vuz30",fontsize=10,color="white",style="solid",shape="box"];985 -> 1801[label="",style="solid", color="burlywood", weight=9];
1801 -> 988[label="",style="solid", color="burlywood", weight=3];
986[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (primMulInt vuz3 (Pos (Succ Zero))) (Pos Zero)) (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1802[label="vuz3/Pos vuz30",fontsize=10,color="white",style="solid",shape="box"];986 -> 1802[label="",style="solid", color="burlywood", weight=9];
1802 -> 989[label="",style="solid", color="burlywood", weight=3];
1803[label="vuz3/Neg vuz30",fontsize=10,color="white",style="solid",shape="box"];986 -> 1803[label="",style="solid", color="burlywood", weight=9];
1803 -> 990[label="",style="solid", color="burlywood", weight=3];
987[label="Integer (primMulInt (Pos vuz30) (Pos (Succ Zero))) `quot` gcd2 (primEqInt (primMulInt (Pos vuz30) (Pos (Succ Zero))) (Pos Zero)) (Integer (primMulInt (Pos vuz30) (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];987 -> 991[label="",style="solid", color="black", weight=3];
988[label="Integer (primMulInt (Neg vuz30) (Pos (Succ Zero))) `quot` gcd2 (primEqInt (primMulInt (Neg vuz30) (Pos (Succ Zero))) (Pos Zero)) (Integer (primMulInt (Neg vuz30) (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];988 -> 992[label="",style="solid", color="black", weight=3];
989[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (primMulInt (Pos vuz30) (Pos (Succ Zero))) (Pos Zero)) (Integer (primMulInt (Pos vuz30) (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];989 -> 993[label="",style="solid", color="black", weight=3];
990[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (primMulInt (Neg vuz30) (Pos (Succ Zero))) (Pos Zero)) (Integer (primMulInt (Neg vuz30) (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];990 -> 994[label="",style="solid", color="black", weight=3];
991[label="Integer (Pos (primMulNat vuz30 (Succ Zero))) `quot` gcd2 (primEqInt (Pos (primMulNat vuz30 (Succ Zero))) (Pos Zero)) (Integer (Pos (primMulNat vuz30 (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1804[label="vuz30/Succ vuz300",fontsize=10,color="white",style="solid",shape="box"];991 -> 1804[label="",style="solid", color="burlywood", weight=9];
1804 -> 995[label="",style="solid", color="burlywood", weight=3];
1805[label="vuz30/Zero",fontsize=10,color="white",style="solid",shape="box"];991 -> 1805[label="",style="solid", color="burlywood", weight=9];
1805 -> 996[label="",style="solid", color="burlywood", weight=3];
992[label="Integer (Neg (primMulNat vuz30 (Succ Zero))) `quot` gcd2 (primEqInt (Neg (primMulNat vuz30 (Succ Zero))) (Pos Zero)) (Integer (Neg (primMulNat vuz30 (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1806[label="vuz30/Succ vuz300",fontsize=10,color="white",style="solid",shape="box"];992 -> 1806[label="",style="solid", color="burlywood", weight=9];
1806 -> 997[label="",style="solid", color="burlywood", weight=3];
1807[label="vuz30/Zero",fontsize=10,color="white",style="solid",shape="box"];992 -> 1807[label="",style="solid", color="burlywood", weight=9];
1807 -> 998[label="",style="solid", color="burlywood", weight=3];
993 -> 1263[label="",style="dashed", color="red", weight=0];
993[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Pos (primMulNat vuz30 (Succ Zero))) (Pos Zero)) (Integer (Pos (primMulNat vuz30 (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="magenta"];993 -> 1264[label="",style="dashed", color="magenta", weight=3];
993 -> 1265[label="",style="dashed", color="magenta", weight=3];
994 -> 1319[label="",style="dashed", color="red", weight=0];
994[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Neg (primMulNat vuz30 (Succ Zero))) (Pos Zero)) (Integer (Neg (primMulNat vuz30 (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="magenta"];994 -> 1320[label="",style="dashed", color="magenta", weight=3];
994 -> 1321[label="",style="dashed", color="magenta", weight=3];
995[label="Integer (Pos (primMulNat (Succ vuz300) (Succ Zero))) `quot` gcd2 (primEqInt (Pos (primMulNat (Succ vuz300) (Succ Zero))) (Pos Zero)) (Integer (Pos (primMulNat (Succ vuz300) (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];995 -> 1003[label="",style="solid", color="black", weight=3];
996[label="Integer (Pos (primMulNat Zero (Succ Zero))) `quot` gcd2 (primEqInt (Pos (primMulNat Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (primMulNat Zero (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];996 -> 1004[label="",style="solid", color="black", weight=3];
997[label="Integer (Neg (primMulNat (Succ vuz300) (Succ Zero))) `quot` gcd2 (primEqInt (Neg (primMulNat (Succ vuz300) (Succ Zero))) (Pos Zero)) (Integer (Neg (primMulNat (Succ vuz300) (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];997 -> 1005[label="",style="solid", color="black", weight=3];
998[label="Integer (Neg (primMulNat Zero (Succ Zero))) `quot` gcd2 (primEqInt (Neg (primMulNat Zero (Succ Zero))) (Pos Zero)) (Integer (Neg (primMulNat Zero (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];998 -> 1006[label="",style="solid", color="black", weight=3];
1264 -> 1205[label="",style="dashed", color="red", weight=0];
1264[label="primMulNat vuz30 (Succ Zero)",fontsize=16,color="magenta"];1264 -> 1310[label="",style="dashed", color="magenta", weight=3];
1265 -> 1205[label="",style="dashed", color="red", weight=0];
1265[label="primMulNat vuz30 (Succ Zero)",fontsize=16,color="magenta"];1265 -> 1311[label="",style="dashed", color="magenta", weight=3];
1263[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Pos vuz45) (Pos Zero)) (Integer (Pos vuz44)) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="triangle"];1812[label="vuz45/Succ vuz450",fontsize=10,color="white",style="solid",shape="box"];1263 -> 1812[label="",style="solid", color="burlywood", weight=9];
1812 -> 1312[label="",style="solid", color="burlywood", weight=3];
1813[label="vuz45/Zero",fontsize=10,color="white",style="solid",shape="box"];1263 -> 1813[label="",style="solid", color="burlywood", weight=9];
1813 -> 1313[label="",style="solid", color="burlywood", weight=3];
1320 -> 1205[label="",style="dashed", color="red", weight=0];
1320[label="primMulNat vuz30 (Succ Zero)",fontsize=16,color="magenta"];1320 -> 1362[label="",style="dashed", color="magenta", weight=3];
1321 -> 1205[label="",style="dashed", color="red", weight=0];
1321[label="primMulNat vuz30 (Succ Zero)",fontsize=16,color="magenta"];1321 -> 1363[label="",style="dashed", color="magenta", weight=3];
1319[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Neg vuz59) (Pos Zero)) (Integer (Neg vuz58)) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="triangle"];1816[label="vuz59/Succ vuz590",fontsize=10,color="white",style="solid",shape="box"];1319 -> 1816[label="",style="solid", color="burlywood", weight=9];
1816 -> 1364[label="",style="solid", color="burlywood", weight=3];
1817[label="vuz59/Zero",fontsize=10,color="white",style="solid",shape="box"];1319 -> 1817[label="",style="solid", color="burlywood", weight=9];
1817 -> 1365[label="",style="solid", color="burlywood", weight=3];
1003 -> 1204[label="",style="dashed", color="red", weight=0];
1003[label="Integer (Pos (primPlusNat (primMulNat vuz300 (Succ Zero)) (Succ Zero))) `quot` gcd2 (primEqInt (Pos (primPlusNat (primMulNat vuz300 (Succ Zero)) (Succ Zero))) (Pos Zero)) (Integer (Pos (primPlusNat (primMulNat vuz300 (Succ Zero)) (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="magenta"];1003 -> 1205[label="",style="dashed", color="magenta", weight=3];
1004[label="Integer (Pos Zero) `quot` gcd2 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1004 -> 1013[label="",style="solid", color="black", weight=3];
1005 -> 1234[label="",style="dashed", color="red", weight=0];
1005[label="Integer (Neg (primPlusNat (primMulNat vuz300 (Succ Zero)) (Succ Zero))) `quot` gcd2 (primEqInt (Neg (primPlusNat (primMulNat vuz300 (Succ Zero)) (Succ Zero))) (Pos Zero)) (Integer (Neg (primPlusNat (primMulNat vuz300 (Succ Zero)) (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="magenta"];1005 -> 1235[label="",style="dashed", color="magenta", weight=3];
1006[label="Integer (Neg Zero) `quot` gcd2 (primEqInt (Neg Zero) (Pos Zero)) (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1006 -> 1016[label="",style="solid", color="black", weight=3];
1310[label="vuz30",fontsize=16,color="green",shape="box"];1205[label="primMulNat vuz300 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];1820[label="vuz300/Succ vuz3000",fontsize=10,color="white",style="solid",shape="box"];1205 -> 1820[label="",style="solid", color="burlywood", weight=9];
1820 -> 1221[label="",style="solid", color="burlywood", weight=3];
1821[label="vuz300/Zero",fontsize=10,color="white",style="solid",shape="box"];1205 -> 1821[label="",style="solid", color="burlywood", weight=9];
1821 -> 1222[label="",style="solid", color="burlywood", weight=3];
1311[label="vuz30",fontsize=16,color="green",shape="box"];1312[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Pos (Succ vuz450)) (Pos Zero)) (Integer (Pos vuz44)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1312 -> 1366[label="",style="solid", color="black", weight=3];
1313[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos vuz44)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1313 -> 1367[label="",style="solid", color="black", weight=3];
1362[label="vuz30",fontsize=16,color="green",shape="box"];1363[label="vuz30",fontsize=16,color="green",shape="box"];1364[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Neg (Succ vuz590)) (Pos Zero)) (Integer (Neg vuz58)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1364 -> 1374[label="",style="solid", color="black", weight=3];
1365[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Neg Zero) (Pos Zero)) (Integer (Neg vuz58)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1365 -> 1375[label="",style="solid", color="black", weight=3];
1204[label="Integer (Pos (primPlusNat vuz37 (Succ Zero))) `quot` gcd2 (primEqInt (Pos (primPlusNat vuz37 (Succ Zero))) (Pos Zero)) (Integer (Pos (primPlusNat vuz37 (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="triangle"];1822[label="vuz37/Succ vuz370",fontsize=10,color="white",style="solid",shape="box"];1204 -> 1822[label="",style="solid", color="burlywood", weight=9];
1822 -> 1223[label="",style="solid", color="burlywood", weight=3];
1823[label="vuz37/Zero",fontsize=10,color="white",style="solid",shape="box"];1204 -> 1823[label="",style="solid", color="burlywood", weight=9];
1823 -> 1224[label="",style="solid", color="burlywood", weight=3];
1013[label="Integer (Pos Zero) `quot` gcd2 True (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1013 -> 1025[label="",style="solid", color="black", weight=3];
1235 -> 1205[label="",style="dashed", color="red", weight=0];
1235[label="primMulNat vuz300 (Succ Zero)",fontsize=16,color="magenta"];1235 -> 1251[label="",style="dashed", color="magenta", weight=3];
1234[label="Integer (Neg (primPlusNat vuz42 (Succ Zero))) `quot` gcd2 (primEqInt (Neg (primPlusNat vuz42 (Succ Zero))) (Pos Zero)) (Integer (Neg (primPlusNat vuz42 (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="triangle"];1825[label="vuz42/Succ vuz420",fontsize=10,color="white",style="solid",shape="box"];1234 -> 1825[label="",style="solid", color="burlywood", weight=9];
1825 -> 1252[label="",style="solid", color="burlywood", weight=3];
1826[label="vuz42/Zero",fontsize=10,color="white",style="solid",shape="box"];1234 -> 1826[label="",style="solid", color="burlywood", weight=9];
1826 -> 1253[label="",style="solid", color="burlywood", weight=3];
1016[label="Integer (Neg Zero) `quot` gcd2 True (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1016 -> 1028[label="",style="solid", color="black", weight=3];
1221[label="primMulNat (Succ vuz3000) (Succ Zero)",fontsize=16,color="black",shape="box"];1221 -> 1230[label="",style="solid", color="black", weight=3];
1222[label="primMulNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];1222 -> 1231[label="",style="solid", color="black", weight=3];
1366[label="Integer (Pos (Succ Zero)) `quot` gcd2 False (Integer (Pos vuz44)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1366 -> 1376[label="",style="solid", color="black", weight=3];
1367[label="Integer (Pos (Succ Zero)) `quot` gcd2 True (Integer (Pos vuz44)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1367 -> 1377[label="",style="solid", color="black", weight=3];
1374[label="Integer (Pos (Succ Zero)) `quot` gcd2 False (Integer (Neg vuz58)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1374 -> 1385[label="",style="solid", color="black", weight=3];
1375[label="Integer (Pos (Succ Zero)) `quot` gcd2 True (Integer (Neg vuz58)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1375 -> 1386[label="",style="solid", color="black", weight=3];
1223[label="Integer (Pos (primPlusNat (Succ vuz370) (Succ Zero))) `quot` gcd2 (primEqInt (Pos (primPlusNat (Succ vuz370) (Succ Zero))) (Pos Zero)) (Integer (Pos (primPlusNat (Succ vuz370) (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1223 -> 1232[label="",style="solid", color="black", weight=3];
1224[label="Integer (Pos (primPlusNat Zero (Succ Zero))) `quot` gcd2 (primEqInt (Pos (primPlusNat Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (primPlusNat Zero (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1224 -> 1233[label="",style="solid", color="black", weight=3];
1025[label="Integer (Pos Zero) `quot` gcd1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1025 -> 1038[label="",style="solid", color="black", weight=3];
1251[label="vuz300",fontsize=16,color="green",shape="box"];1252[label="Integer (Neg (primPlusNat (Succ vuz420) (Succ Zero))) `quot` gcd2 (primEqInt (Neg (primPlusNat (Succ vuz420) (Succ Zero))) (Pos Zero)) (Integer (Neg (primPlusNat (Succ vuz420) (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1252 -> 1256[label="",style="solid", color="black", weight=3];
1253[label="Integer (Neg (primPlusNat Zero (Succ Zero))) `quot` gcd2 (primEqInt (Neg (primPlusNat Zero (Succ Zero))) (Pos Zero)) (Integer (Neg (primPlusNat Zero (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1253 -> 1257[label="",style="solid", color="black", weight=3];
1028[label="Integer (Neg Zero) `quot` gcd1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1028 -> 1042[label="",style="solid", color="black", weight=3];
1230 -> 1254[label="",style="dashed", color="red", weight=0];
1230[label="primPlusNat (primMulNat vuz3000 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];1230 -> 1255[label="",style="dashed", color="magenta", weight=3];
1231[label="Zero",fontsize=16,color="green",shape="box"];1376[label="Integer (Pos (Succ Zero)) `quot` gcd0 (Integer (Pos vuz44)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="triangle"];1376 -> 1387[label="",style="solid", color="black", weight=3];
1377[label="Integer (Pos (Succ Zero)) `quot` gcd1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos vuz44)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1377 -> 1388[label="",style="solid", color="black", weight=3];
1385[label="Integer (Pos (Succ Zero)) `quot` gcd0 (Integer (Neg vuz58)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="triangle"];1385 -> 1392[label="",style="solid", color="black", weight=3];
1386[label="Integer (Pos (Succ Zero)) `quot` gcd1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Neg vuz58)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1386 -> 1393[label="",style="solid", color="black", weight=3];
1232[label="Integer (Pos (Succ (Succ (primPlusNat vuz370 Zero)))) `quot` gcd2 (primEqInt (Pos (Succ (Succ (primPlusNat vuz370 Zero)))) (Pos Zero)) (Integer (Pos (Succ (Succ (primPlusNat vuz370 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1232 -> 1258[label="",style="solid", color="black", weight=3];
1233 -> 1263[label="",style="dashed", color="red", weight=0];
1233[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="magenta"];1233 -> 1274[label="",style="dashed", color="magenta", weight=3];
1233 -> 1275[label="",style="dashed", color="magenta", weight=3];
1038[label="Integer (Pos Zero) `quot` gcd1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1038 -> 1054[label="",style="solid", color="black", weight=3];
1256[label="Integer (Neg (Succ (Succ (primPlusNat vuz420 Zero)))) `quot` gcd2 (primEqInt (Neg (Succ (Succ (primPlusNat vuz420 Zero)))) (Pos Zero)) (Integer (Neg (Succ (Succ (primPlusNat vuz420 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1256 -> 1314[label="",style="solid", color="black", weight=3];
1257[label="Integer (Neg (Succ Zero)) `quot` gcd2 (primEqInt (Neg (Succ Zero)) (Pos Zero)) (Integer (Neg (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1257 -> 1315[label="",style="solid", color="black", weight=3];
1042[label="Integer (Neg Zero) `quot` gcd1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1042 -> 1058[label="",style="solid", color="black", weight=3];
1255 -> 1205[label="",style="dashed", color="red", weight=0];
1255[label="primMulNat vuz3000 (Succ Zero)",fontsize=16,color="magenta"];1255 -> 1259[label="",style="dashed", color="magenta", weight=3];
1254[label="primPlusNat vuz43 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];1830[label="vuz43/Succ vuz430",fontsize=10,color="white",style="solid",shape="box"];1254 -> 1830[label="",style="solid", color="burlywood", weight=9];
1830 -> 1260[label="",style="solid", color="burlywood", weight=3];
1831[label="vuz43/Zero",fontsize=10,color="white",style="solid",shape="box"];1254 -> 1831[label="",style="solid", color="burlywood", weight=9];
1831 -> 1261[label="",style="solid", color="burlywood", weight=3];
1387[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd' (abs (Integer (Pos vuz44))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1387 -> 1394[label="",style="solid", color="black", weight=3];
1388[label="Integer (Pos (Succ Zero)) `quot` gcd1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (Integer (Pos vuz44)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1388 -> 1395[label="",style="solid", color="black", weight=3];
1392[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd' (abs (Integer (Neg vuz58))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1392 -> 1400[label="",style="solid", color="black", weight=3];
1393[label="Integer (Pos (Succ Zero)) `quot` gcd1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (Integer (Neg vuz58)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1393 -> 1401[label="",style="solid", color="black", weight=3];
1258[label="Integer (Pos (Succ (Succ (primPlusNat vuz370 Zero)))) `quot` gcd2 False (Integer (Pos (Succ (Succ (primPlusNat vuz370 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1258 -> 1316[label="",style="solid", color="black", weight=3];
1274[label="Succ Zero",fontsize=16,color="green",shape="box"];1275[label="Succ Zero",fontsize=16,color="green",shape="box"];1054[label="Integer (Pos Zero) `quot` gcd1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1054 -> 1070[label="",style="solid", color="black", weight=3];
1314[label="Integer (Neg (Succ (Succ (primPlusNat vuz420 Zero)))) `quot` gcd2 False (Integer (Neg (Succ (Succ (primPlusNat vuz420 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1314 -> 1368[label="",style="solid", color="black", weight=3];
1315[label="Integer (Neg (Succ Zero)) `quot` gcd2 False (Integer (Neg (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1315 -> 1369[label="",style="solid", color="black", weight=3];
1058[label="Integer (Neg Zero) `quot` gcd1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1058 -> 1075[label="",style="solid", color="black", weight=3];
1259[label="vuz3000",fontsize=16,color="green",shape="box"];1260[label="primPlusNat (Succ vuz430) (Succ Zero)",fontsize=16,color="black",shape="box"];1260 -> 1317[label="",style="solid", color="black", weight=3];
1261[label="primPlusNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];1261 -> 1318[label="",style="solid", color="black", weight=3];
1394[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'2 (abs (Integer (Pos vuz44))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1394 -> 1402[label="",style="solid", color="black", weight=3];
1395[label="Integer (Pos (Succ Zero)) `quot` gcd1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (Integer (Pos vuz44)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1395 -> 1403[label="",style="solid", color="black", weight=3];
1400[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'2 (abs (Integer (Neg vuz58))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1400 -> 1415[label="",style="solid", color="black", weight=3];
1401[label="Integer (Pos (Succ Zero)) `quot` gcd1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (Integer (Neg vuz58)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1401 -> 1416[label="",style="solid", color="black", weight=3];
1316[label="Integer (Pos (Succ (Succ (primPlusNat vuz370 Zero)))) `quot` gcd0 (Integer (Pos (Succ (Succ (primPlusNat vuz370 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1316 -> 1370[label="",style="solid", color="black", weight=3];
1070[label="Integer (Pos Zero) `quot` gcd1 False (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1070 -> 1089[label="",style="solid", color="black", weight=3];
1368[label="Integer (Neg (Succ (Succ (primPlusNat vuz420 Zero)))) `quot` gcd0 (Integer (Neg (Succ (Succ (primPlusNat vuz420 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1368 -> 1378[label="",style="solid", color="black", weight=3];
1369[label="Integer (Neg (Succ Zero)) `quot` gcd0 (Integer (Neg (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1369 -> 1379[label="",style="solid", color="black", weight=3];
1075[label="Integer (Neg Zero) `quot` gcd1 False (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1075 -> 1094[label="",style="solid", color="black", weight=3];
1317[label="Succ (Succ (primPlusNat vuz430 Zero))",fontsize=16,color="green",shape="box"];1317 -> 1371[label="",style="dashed", color="green", weight=3];
1318[label="Succ Zero",fontsize=16,color="green",shape="box"];1402[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos vuz44))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1402 -> 1417[label="",style="solid", color="black", weight=3];
1403[label="Integer (Pos (Succ Zero)) `quot` gcd1 False (Integer (Pos vuz44)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1403 -> 1418[label="",style="solid", color="black", weight=3];
1415[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg vuz58))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1415 -> 1424[label="",style="solid", color="black", weight=3];
1416[label="Integer (Pos (Succ Zero)) `quot` gcd1 False (Integer (Neg vuz58)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1416 -> 1425[label="",style="solid", color="black", weight=3];
1370[label="Integer (Pos (Succ (Succ (primPlusNat vuz370 Zero)))) `quot` gcd0Gcd' (abs (Integer (Pos (Succ (Succ (primPlusNat vuz370 Zero)))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1370 -> 1380[label="",style="solid", color="black", weight=3];
1089[label="Integer (Pos Zero) `quot` gcd0 (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1089 -> 1109[label="",style="solid", color="black", weight=3];
1378 -> 1389[label="",style="dashed", color="red", weight=0];
1378[label="Integer (Neg (Succ (Succ (primPlusNat vuz420 Zero)))) `quot` gcd0Gcd' (abs (Integer (Neg (Succ (Succ (primPlusNat vuz420 Zero)))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="magenta"];1378 -> 1390[label="",style="dashed", color="magenta", weight=3];
1378 -> 1391[label="",style="dashed", color="magenta", weight=3];
1379[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd' (abs (Integer (Neg (Succ Zero)))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1379 -> 1396[label="",style="solid", color="black", weight=3];
1094[label="Integer (Neg Zero) `quot` gcd0 (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1094 -> 1115[label="",style="solid", color="black", weight=3];
1371[label="primPlusNat vuz430 Zero",fontsize=16,color="burlywood",shape="triangle"];1833[label="vuz430/Succ vuz4300",fontsize=10,color="white",style="solid",shape="box"];1371 -> 1833[label="",style="solid", color="burlywood", weight=9];
1833 -> 1381[label="",style="solid", color="burlywood", weight=3];
1834[label="vuz430/Zero",fontsize=10,color="white",style="solid",shape="box"];1371 -> 1834[label="",style="solid", color="burlywood", weight=9];
1834 -> 1382[label="",style="solid", color="burlywood", weight=3];
1417[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos vuz44))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1417 -> 1426[label="",style="solid", color="black", weight=3];
1418 -> 1376[label="",style="dashed", color="red", weight=0];
1418[label="Integer (Pos (Succ Zero)) `quot` gcd0 (Integer (Pos vuz44)) (Integer (Pos (Succ Zero)))",fontsize=16,color="magenta"];1424[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg vuz58))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1424 -> 1432[label="",style="solid", color="black", weight=3];
1425 -> 1385[label="",style="dashed", color="red", weight=0];
1425[label="Integer (Pos (Succ Zero)) `quot` gcd0 (Integer (Neg vuz58)) (Integer (Pos (Succ Zero)))",fontsize=16,color="magenta"];1380 -> 1397[label="",style="dashed", color="red", weight=0];
1380[label="Integer (Pos (Succ (Succ (primPlusNat vuz370 Zero)))) `quot` gcd0Gcd'2 (abs (Integer (Pos (Succ (Succ (primPlusNat vuz370 Zero)))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="magenta"];1380 -> 1398[label="",style="dashed", color="magenta", weight=3];
1380 -> 1399[label="",style="dashed", color="magenta", weight=3];
1109[label="Integer (Pos Zero) `quot` gcd0Gcd' (abs (Integer (Pos Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1109 -> 1132[label="",style="solid", color="black", weight=3];
1390 -> 1371[label="",style="dashed", color="red", weight=0];
1390[label="primPlusNat vuz420 Zero",fontsize=16,color="magenta"];1390 -> 1404[label="",style="dashed", color="magenta", weight=3];
1391 -> 1371[label="",style="dashed", color="red", weight=0];
1391[label="primPlusNat vuz420 Zero",fontsize=16,color="magenta"];1391 -> 1405[label="",style="dashed", color="magenta", weight=3];
1389[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd' (abs (Integer (Neg (Succ (Succ vuz73))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="triangle"];1389 -> 1406[label="",style="solid", color="black", weight=3];
1396[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'2 (abs (Integer (Neg (Succ Zero)))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1396 -> 1407[label="",style="solid", color="black", weight=3];
1115[label="Integer (Neg Zero) `quot` gcd0Gcd' (abs (Integer (Neg Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1115 -> 1138[label="",style="solid", color="black", weight=3];
1381[label="primPlusNat (Succ vuz4300) Zero",fontsize=16,color="black",shape="box"];1381 -> 1408[label="",style="solid", color="black", weight=3];
1382[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];1382 -> 1409[label="",style="solid", color="black", weight=3];
1426[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos vuz44))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1426 -> 1433[label="",style="solid", color="black", weight=3];
1432[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg vuz58))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1432 -> 1439[label="",style="solid", color="black", weight=3];
1398 -> 1371[label="",style="dashed", color="red", weight=0];
1398[label="primPlusNat vuz370 Zero",fontsize=16,color="magenta"];1398 -> 1410[label="",style="dashed", color="magenta", weight=3];
1399 -> 1371[label="",style="dashed", color="red", weight=0];
1399[label="primPlusNat vuz370 Zero",fontsize=16,color="magenta"];1399 -> 1411[label="",style="dashed", color="magenta", weight=3];
1397[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'2 (abs (Integer (Pos (Succ (Succ vuz75))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="triangle"];1397 -> 1412[label="",style="solid", color="black", weight=3];
1132[label="Integer (Pos Zero) `quot` gcd0Gcd'2 (abs (Integer (Pos Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1132 -> 1156[label="",style="solid", color="black", weight=3];
1404[label="vuz420",fontsize=16,color="green",shape="box"];1405[label="vuz420",fontsize=16,color="green",shape="box"];1406[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'2 (abs (Integer (Neg (Succ (Succ vuz73))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1406 -> 1419[label="",style="solid", color="black", weight=3];
1407[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1407 -> 1420[label="",style="solid", color="black", weight=3];
1138[label="Integer (Neg Zero) `quot` gcd0Gcd'2 (abs (Integer (Neg Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1138 -> 1163[label="",style="solid", color="black", weight=3];
1408[label="Succ vuz4300",fontsize=16,color="green",shape="box"];1409[label="Zero",fontsize=16,color="green",shape="box"];1433[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero)) (abs (Integer (Pos vuz44))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];1433 -> 1440[label="",style="solid", color="black", weight=3];
1439[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg vuz58))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];1439 -> 1446[label="",style="solid", color="black", weight=3];
1410[label="vuz370",fontsize=16,color="green",shape="box"];1411[label="vuz370",fontsize=16,color="green",shape="box"];1412[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1412 -> 1421[label="",style="solid", color="black", weight=3];
1156[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1156 -> 1183[label="",style="solid", color="black", weight=3];
1419[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1419 -> 1427[label="",style="solid", color="black", weight=3];
1420[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1420 -> 1428[label="",style="solid", color="black", weight=3];
1163[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1163 -> 1190[label="",style="solid", color="black", weight=3];
1440[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT) == fromInt (Pos Zero)) (abs (Integer (Pos vuz44))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];1440 -> 1447[label="",style="solid", color="black", weight=3];
1446[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT) == fromInt (Pos Zero)) (abs (Integer (Neg vuz58))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];1446 -> 1453[label="",style="solid", color="black", weight=3];
1421[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1421 -> 1429[label="",style="solid", color="black", weight=3];
1183[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1183 -> 1225[label="",style="solid", color="black", weight=3];
1427[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1427 -> 1434[label="",style="solid", color="black", weight=3];
1428[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1428 -> 1435[label="",style="solid", color="black", weight=3];
1190[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1190 -> 1262[label="",style="solid", color="black", weight=3];
1447[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos vuz44))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];1447 -> 1454[label="",style="solid", color="black", weight=3];
1453[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg vuz58))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];1453 -> 1460[label="",style="solid", color="black", weight=3];
1429[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1429 -> 1436[label="",style="solid", color="black", weight=3];
1225[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1225 -> 1372[label="",style="solid", color="black", weight=3];
1434[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1434 -> 1441[label="",style="solid", color="black", weight=3];
1435[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];1435 -> 1442[label="",style="solid", color="black", weight=3];
1262[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1262 -> 1373[label="",style="solid", color="black", weight=3];
1454[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos vuz44))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];1454 -> 1461[label="",style="solid", color="black", weight=3];
1460[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg vuz58))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];1460 -> 1467[label="",style="solid", color="black", weight=3];
1436[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];1436 -> 1443[label="",style="solid", color="black", weight=3];
1372[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];1372 -> 1383[label="",style="solid", color="black", weight=3];
1441[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];1441 -> 1448[label="",style="solid", color="black", weight=3];
1442[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];1442 -> 1449[label="",style="solid", color="black", weight=3];
1373[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];1373 -> 1384[label="",style="solid", color="black", weight=3];
1461[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos vuz44))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];1461 -> 1468[label="",style="solid", color="black", weight=3];
1467[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg vuz58))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];1467 -> 1474[label="",style="solid", color="black", weight=3];
1443[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];1443 -> 1450[label="",style="solid", color="black", weight=3];
1383[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];1383 -> 1413[label="",style="solid", color="black", weight=3];
1448[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];1448 -> 1455[label="",style="solid", color="black", weight=3];
1449[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];1449 -> 1456[label="",style="solid", color="black", weight=3];
1384[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];1384 -> 1414[label="",style="solid", color="black", weight=3];
1468[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos vuz44))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];1468 -> 1475[label="",style="solid", color="black", weight=3];
1474[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg vuz58))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];1474 -> 1481[label="",style="solid", color="black", weight=3];
1450[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];1450 -> 1457[label="",style="solid", color="black", weight=3];
1413[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];1413 -> 1422[label="",style="solid", color="black", weight=3];
1455[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];1455 -> 1462[label="",style="solid", color="black", weight=3];
1456[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];1456 -> 1463[label="",style="solid", color="black", weight=3];
1414[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];1414 -> 1423[label="",style="solid", color="black", weight=3];
1475[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos vuz44))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];1475 -> 1482[label="",style="solid", color="black", weight=3];
1481[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg vuz58))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];1481 -> 1488[label="",style="solid", color="black", weight=3];
1457[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];1457 -> 1464[label="",style="solid", color="black", weight=3];
1422[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];1422 -> 1430[label="",style="solid", color="black", weight=3];
1462[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];1462 -> 1469[label="",style="solid", color="black", weight=3];
1463[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];1463 -> 1470[label="",style="solid", color="black", weight=3];
1423[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];1423 -> 1431[label="",style="solid", color="black", weight=3];
1482[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Pos vuz44))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];1482 -> 1489[label="",style="solid", color="black", weight=3];
1488[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Neg vuz58))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];1488 -> 1495[label="",style="solid", color="black", weight=3];
1464[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];1464 -> 1471[label="",style="solid", color="black", weight=3];
1430[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];1430 -> 1437[label="",style="solid", color="black", weight=3];
1469[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];1469 -> 1476[label="",style="solid", color="black", weight=3];
1470[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];1470 -> 1477[label="",style="solid", color="black", weight=3];
1431[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];1431 -> 1438[label="",style="solid", color="black", weight=3];
1489[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Pos vuz44))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];1489 -> 1496[label="",style="solid", color="black", weight=3];
1495[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Neg vuz58))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];1495 -> 1502[label="",style="solid", color="black", weight=3];
1471[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];1471 -> 1478[label="",style="solid", color="black", weight=3];
1437[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];1437 -> 1444[label="",style="solid", color="black", weight=3];
1476[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];1476 -> 1483[label="",style="solid", color="black", weight=3];
1477[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];1477 -> 1484[label="",style="solid", color="black", weight=3];
1438[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];1438 -> 1445[label="",style="solid", color="black", weight=3];
1496[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Pos vuz44))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1496 -> 1503[label="",style="solid", color="black", weight=3];
1502[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg vuz58))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1502 -> 1509[label="",style="solid", color="black", weight=3];
1478[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];1478 -> 1485[label="",style="solid", color="black", weight=3];
1444[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];1444 -> 1451[label="",style="solid", color="black", weight=3];
1483[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];1483 -> 1490[label="",style="solid", color="black", weight=3];
1484[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];1484 -> 1491[label="",style="solid", color="black", weight=3];
1445[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];1445 -> 1452[label="",style="solid", color="black", weight=3];
1503[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Pos vuz44))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1503 -> 1510[label="",style="solid", color="black", weight=3];
1509[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Neg vuz58))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1509 -> 1516[label="",style="solid", color="black", weight=3];
1485[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];1485 -> 1492[label="",style="solid", color="black", weight=3];
1451[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];1451 -> 1458[label="",style="solid", color="black", weight=3];
1490[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];1490 -> 1497[label="",style="solid", color="black", weight=3];
1491[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];1491 -> 1498[label="",style="solid", color="black", weight=3];
1452[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];1452 -> 1459[label="",style="solid", color="black", weight=3];
1510[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Pos vuz44))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1510 -> 1517[label="",style="solid", color="black", weight=3];
1516[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Neg vuz58))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1516 -> 1523[label="",style="solid", color="black", weight=3];
1492[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];1492 -> 1499[label="",style="solid", color="black", weight=3];
1458[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];1458 -> 1465[label="",style="solid", color="black", weight=3];
1497[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];1497 -> 1504[label="",style="solid", color="black", weight=3];
1498[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1498 -> 1505[label="",style="solid", color="black", weight=3];
1459[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];1459 -> 1466[label="",style="solid", color="black", weight=3];
1517[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 False (abs (Integer (Pos vuz44))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1517 -> 1524[label="",style="solid", color="black", weight=3];
1523[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 False (abs (Integer (Neg vuz58))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1523 -> 1530[label="",style="solid", color="black", weight=3];
1499[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1499 -> 1506[label="",style="solid", color="black", weight=3];
1465[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1465 -> 1472[label="",style="solid", color="black", weight=3];
1504[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1504 -> 1511[label="",style="solid", color="black", weight=3];
1505[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1505 -> 1512[label="",style="solid", color="black", weight=3];
1466[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1466 -> 1473[label="",style="solid", color="black", weight=3];
1524[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'0 (abs (Integer (Pos vuz44))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1524 -> 1531[label="",style="solid", color="black", weight=3];
1530[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'0 (abs (Integer (Neg vuz58))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1530 -> 1537[label="",style="solid", color="black", weight=3];
1506[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1506 -> 1513[label="",style="solid", color="black", weight=3];
1472[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1472 -> 1479[label="",style="solid", color="black", weight=3];
1511[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1511 -> 1518[label="",style="solid", color="black", weight=3];
1512[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1512 -> 1519[label="",style="solid", color="black", weight=3];
1473[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Neg Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1473 -> 1480[label="",style="solid", color="black", weight=3];
1531[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Pos vuz44)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1531 -> 1538[label="",style="solid", color="black", weight=3];
1537[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Neg vuz58)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1537 -> 1544[label="",style="solid", color="black", weight=3];
1513[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1513 -> 1520[label="",style="solid", color="black", weight=3];
1479[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1479 -> 1486[label="",style="solid", color="black", weight=3];
1518[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1518 -> 1525[label="",style="solid", color="black", weight=3];
1519[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 False (abs (Integer (Neg (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1519 -> 1526[label="",style="solid", color="black", weight=3];
1480[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Neg Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1480 -> 1487[label="",style="solid", color="black", weight=3];
1538[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Pos vuz44)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1538 -> 1545[label="",style="solid", color="black", weight=3];
1544[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Neg vuz58)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1544 -> 1551[label="",style="solid", color="black", weight=3];
1520[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 False (abs (Integer (Pos (Succ (Succ vuz75))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1520 -> 1527[label="",style="solid", color="black", weight=3];
1486[label="Integer (Pos Zero) `quot` gcd0Gcd'1 False (abs (Integer (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1486 -> 1493[label="",style="solid", color="black", weight=3];
1525[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 False (abs (Integer (Neg (Succ (Succ vuz73))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1525 -> 1532[label="",style="solid", color="black", weight=3];
1526[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'0 (abs (Integer (Neg (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1526 -> 1533[label="",style="solid", color="black", weight=3];
1487[label="Integer (Neg Zero) `quot` gcd0Gcd'1 False (abs (Integer (Neg Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1487 -> 1494[label="",style="solid", color="black", weight=3];
1545[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Pos vuz44)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Pos vuz44)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1545 -> 1552[label="",style="solid", color="black", weight=3];
1551[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Neg vuz58)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Neg vuz58)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1551 -> 1558[label="",style="solid", color="black", weight=3];
1527[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'0 (abs (Integer (Pos (Succ (Succ vuz75))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1527 -> 1534[label="",style="solid", color="black", weight=3];
1493[label="Integer (Pos Zero) `quot` gcd0Gcd'0 (abs (Integer (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1493 -> 1500[label="",style="solid", color="black", weight=3];
1532[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'0 (abs (Integer (Neg (Succ (Succ vuz73))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1532 -> 1539[label="",style="solid", color="black", weight=3];
1533[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1533 -> 1540[label="",style="solid", color="black", weight=3];
1494[label="Integer (Neg Zero) `quot` gcd0Gcd'0 (abs (Integer (Neg Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1494 -> 1501[label="",style="solid", color="black", weight=3];
1552[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Pos vuz44)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Pos vuz44)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1552 -> 1559[label="",style="solid", color="black", weight=3];
1558[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Neg vuz58)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Neg vuz58)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1558 -> 1565[label="",style="solid", color="black", weight=3];
1534[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Pos (Succ (Succ vuz75)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1534 -> 1541[label="",style="solid", color="black", weight=3];
1500[label="Integer (Pos Zero) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1500 -> 1507[label="",style="solid", color="black", weight=3];
1539[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Neg (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1539 -> 1546[label="",style="solid", color="black", weight=3];
1540[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1540 -> 1547[label="",style="solid", color="black", weight=3];
1501[label="Integer (Neg Zero) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Neg Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1501 -> 1508[label="",style="solid", color="black", weight=3];
1559[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos vuz44)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Pos vuz44)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1559 -> 1566[label="",style="solid", color="black", weight=3];
1565[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Neg vuz58)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Neg vuz58)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1565 -> 1572[label="",style="solid", color="black", weight=3];
1541[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Pos (Succ (Succ vuz75)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1541 -> 1548[label="",style="solid", color="black", weight=3];
1507[label="Integer (Pos Zero) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1507 -> 1514[label="",style="solid", color="black", weight=3];
1546[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Neg (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1546 -> 1553[label="",style="solid", color="black", weight=3];
1547[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1547 -> 1554[label="",style="solid", color="black", weight=3];
1508[label="Integer (Neg Zero) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Neg Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1508 -> 1515[label="",style="solid", color="black", weight=3];
1566[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos vuz44)) (Integer (Pos vuz44) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos vuz44)) (Integer (Pos vuz44) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1566 -> 1573[label="",style="solid", color="black", weight=3];
1572[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg vuz58)) (Integer (Neg vuz58) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg vuz58)) (Integer (Neg vuz58) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1572 -> 1579[label="",style="solid", color="black", weight=3];
1548[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ (Succ vuz75)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Pos (Succ (Succ vuz75)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1548 -> 1555[label="",style="solid", color="black", weight=3];
1514[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (abs (Integer (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1514 -> 1521[label="",style="solid", color="black", weight=3];
1553[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (abs (Integer (Neg (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Neg (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1553 -> 1560[label="",style="solid", color="black", weight=3];
1554[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1554 -> 1561[label="",style="solid", color="black", weight=3];
1515[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (abs (Integer (Neg Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Neg Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1515 -> 1522[label="",style="solid", color="black", weight=3];
1573[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos vuz44)) (compare (Integer (Pos vuz44)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos vuz44)) (compare (Integer (Pos vuz44)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1573 -> 1580[label="",style="solid", color="black", weight=3];
1579[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg vuz58)) (compare (Integer (Neg vuz58)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg vuz58)) (compare (Integer (Neg vuz58)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1579 -> 1586[label="",style="solid", color="black", weight=3];
1555[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ (Succ vuz75)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Pos (Succ (Succ vuz75)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1555 -> 1562[label="",style="solid", color="black", weight=3];
1521[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal (Integer (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1521 -> 1528[label="",style="solid", color="black", weight=3];
1560[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal (Integer (Neg (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Neg (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1560 -> 1567[label="",style="solid", color="black", weight=3];
1561[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1561 -> 1568[label="",style="solid", color="black", weight=3];
1522[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal (Integer (Neg Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Neg Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1522 -> 1529[label="",style="solid", color="black", weight=3];
1580[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos vuz44)) (not (compare (Integer (Pos vuz44)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos vuz44)) (not (compare (Integer (Pos vuz44)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1580 -> 1587[label="",style="solid", color="black", weight=3];
1586[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg vuz58)) (not (compare (Integer (Neg vuz58)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg vuz58)) (not (compare (Integer (Neg vuz58)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1586 -> 1593[label="",style="solid", color="black", weight=3];
1562[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ (Succ vuz75)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Pos (Succ (Succ vuz75)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1562 -> 1569[label="",style="solid", color="black", weight=3];
1528[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1528 -> 1535[label="",style="solid", color="black", weight=3];
1567[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal2 (Integer (Neg (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Neg (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1567 -> 1574[label="",style="solid", color="black", weight=3];
1568[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ Zero))) (Integer (Neg (Succ Zero)) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ Zero))) (Integer (Neg (Succ Zero)) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1568 -> 1575[label="",style="solid", color="black", weight=3];
1529[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal2 (Integer (Neg Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Neg Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1529 -> 1536[label="",style="solid", color="black", weight=3];
1587[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos vuz44)) (not (compare (Integer (Pos vuz44)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos vuz44)) (not (compare (Integer (Pos vuz44)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1587 -> 1594[label="",style="solid", color="black", weight=3];
1593[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg vuz58)) (not (compare (Integer (Neg vuz58)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg vuz58)) (not (compare (Integer (Neg vuz58)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1593 -> 1600[label="",style="solid", color="black", weight=3];
1569[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (Integer (Pos (Succ (Succ vuz75))) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (Integer (Pos (Succ (Succ vuz75))) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1569 -> 1576[label="",style="solid", color="black", weight=3];
1535[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (Integer (Pos Zero) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (Integer (Pos Zero) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1535 -> 1542[label="",style="solid", color="black", weight=3];
1574[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (Integer (Neg (Succ (Succ vuz73))) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (Integer (Neg (Succ (Succ vuz73))) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1574 -> 1581[label="",style="solid", color="black", weight=3];
1575[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ Zero))) (compare (Integer (Neg (Succ Zero))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ Zero))) (compare (Integer (Neg (Succ Zero))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1575 -> 1582[label="",style="solid", color="black", weight=3];
1536[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (Integer (Neg Zero) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (Integer (Neg Zero) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1536 -> 1543[label="",style="solid", color="black", weight=3];
1594[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos vuz44)) (not (primCmpInt (Pos vuz44) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos vuz44)) (not (primCmpInt (Pos vuz44) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1842[label="vuz44/Succ vuz440",fontsize=10,color="white",style="solid",shape="box"];1594 -> 1842[label="",style="solid", color="burlywood", weight=9];
1842 -> 1601[label="",style="solid", color="burlywood", weight=3];
1843[label="vuz44/Zero",fontsize=10,color="white",style="solid",shape="box"];1594 -> 1843[label="",style="solid", color="burlywood", weight=9];
1843 -> 1602[label="",style="solid", color="burlywood", weight=3];
1600[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg vuz58)) (not (primCmpInt (Neg vuz58) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg vuz58)) (not (primCmpInt (Neg vuz58) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1844[label="vuz58/Succ vuz580",fontsize=10,color="white",style="solid",shape="box"];1600 -> 1844[label="",style="solid", color="burlywood", weight=9];
1844 -> 1609[label="",style="solid", color="burlywood", weight=3];
1845[label="vuz58/Zero",fontsize=10,color="white",style="solid",shape="box"];1600 -> 1845[label="",style="solid", color="burlywood", weight=9];
1845 -> 1610[label="",style="solid", color="burlywood", weight=3];
1576[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (compare (Integer (Pos (Succ (Succ vuz75)))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (compare (Integer (Pos (Succ (Succ vuz75)))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1576 -> 1583[label="",style="solid", color="black", weight=3];
1542[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (compare (Integer (Pos Zero)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (compare (Integer (Pos Zero)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1542 -> 1549[label="",style="solid", color="black", weight=3];
1581[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (compare (Integer (Neg (Succ (Succ vuz73)))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (compare (Integer (Neg (Succ (Succ vuz73)))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1581 -> 1588[label="",style="solid", color="black", weight=3];
1582[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ Zero))) (not (compare (Integer (Neg (Succ Zero))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ Zero))) (not (compare (Integer (Neg (Succ Zero))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1582 -> 1589[label="",style="solid", color="black", weight=3];
1543[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (compare (Integer (Neg Zero)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (compare (Integer (Neg Zero)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1543 -> 1550[label="",style="solid", color="black", weight=3];
1601[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ vuz440))) (not (primCmpInt (Pos (Succ vuz440)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ vuz440))) (not (primCmpInt (Pos (Succ vuz440)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1601 -> 1611[label="",style="solid", color="black", weight=3];
1602[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1602 -> 1612[label="",style="solid", color="black", weight=3];
1609[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ vuz580))) (not (primCmpInt (Neg (Succ vuz580)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ vuz580))) (not (primCmpInt (Neg (Succ vuz580)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1609 -> 1618[label="",style="solid", color="black", weight=3];
1610[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1610 -> 1619[label="",style="solid", color="black", weight=3];
1583[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (not (compare (Integer (Pos (Succ (Succ vuz75)))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (not (compare (Integer (Pos (Succ (Succ vuz75)))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1583 -> 1590[label="",style="solid", color="black", weight=3];
1549[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (not (compare (Integer (Pos Zero)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (not (compare (Integer (Pos Zero)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1549 -> 1556[label="",style="solid", color="black", weight=3];
1588[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (not (compare (Integer (Neg (Succ (Succ vuz73)))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (not (compare (Integer (Neg (Succ (Succ vuz73)))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1588 -> 1595[label="",style="solid", color="black", weight=3];
1589[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ Zero))) (not (compare (Integer (Neg (Succ Zero))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ Zero))) (not (compare (Integer (Neg (Succ Zero))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1589 -> 1596[label="",style="solid", color="black", weight=3];
1550[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (not (compare (Integer (Neg Zero)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (not (compare (Integer (Neg Zero)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1550 -> 1557[label="",style="solid", color="black", weight=3];
1611[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ vuz440))) (not (primCmpNat (Succ vuz440) Zero == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ vuz440))) (not (primCmpNat (Succ vuz440) Zero == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1611 -> 1620[label="",style="solid", color="black", weight=3];
1612[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (not (EQ == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (not (EQ == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1612 -> 1621[label="",style="solid", color="black", weight=3];
1618[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ vuz580))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ vuz580))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1618 -> 1627[label="",style="solid", color="black", weight=3];
1619[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (not (EQ == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (not (EQ == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1619 -> 1628[label="",style="solid", color="black", weight=3];
1590[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (not (compare (Integer (Pos (Succ (Succ vuz75)))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (not (compare (Integer (Pos (Succ (Succ vuz75)))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1590 -> 1597[label="",style="solid", color="black", weight=3];
1556[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (not (compare (Integer (Pos Zero)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (not (compare (Integer (Pos Zero)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1556 -> 1563[label="",style="solid", color="black", weight=3];
1595[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (not (compare (Integer (Neg (Succ (Succ vuz73)))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (not (compare (Integer (Neg (Succ (Succ vuz73)))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1595 -> 1603[label="",style="solid", color="black", weight=3];
1596[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ Zero))) (not (primCmpInt (Neg (Succ Zero)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ Zero))) (not (primCmpInt (Neg (Succ Zero)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1596 -> 1604[label="",style="solid", color="black", weight=3];
1557[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (not (compare (Integer (Neg Zero)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (not (compare (Integer (Neg Zero)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1557 -> 1564[label="",style="solid", color="black", weight=3];
1620[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ vuz440))) (not (GT == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ vuz440))) (not (GT == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1620 -> 1629[label="",style="solid", color="black", weight=3];
1621[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (not False) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (not False) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1621 -> 1630[label="",style="solid", color="black", weight=3];
1627[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ vuz580))) (not True) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ vuz580))) (not True) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1627 -> 1636[label="",style="solid", color="black", weight=3];
1628[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (not False) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (not False) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1628 -> 1637[label="",style="solid", color="black", weight=3];
1597[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (not (primCmpInt (Pos (Succ (Succ vuz75))) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (not (primCmpInt (Pos (Succ (Succ vuz75))) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1597 -> 1605[label="",style="solid", color="black", weight=3];
1563[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1563 -> 1570[label="",style="solid", color="black", weight=3];
1603[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (not (primCmpInt (Neg (Succ (Succ vuz73))) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (not (primCmpInt (Neg (Succ (Succ vuz73))) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1603 -> 1613[label="",style="solid", color="black", weight=3];
1604[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ Zero))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ Zero))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1604 -> 1614[label="",style="solid", color="black", weight=3];
1564[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1564 -> 1571[label="",style="solid", color="black", weight=3];
1629[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ vuz440))) (not False) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ vuz440))) (not False) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1629 -> 1638[label="",style="solid", color="black", weight=3];
1630[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1630 -> 1639[label="",style="solid", color="black", weight=3];
1636[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ vuz580))) False `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ vuz580))) False `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1636 -> 1645[label="",style="solid", color="black", weight=3];
1637[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1637 -> 1646[label="",style="solid", color="black", weight=3];
1605[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (not (primCmpNat (Succ (Succ vuz75)) Zero == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (not (primCmpNat (Succ (Succ vuz75)) Zero == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1605 -> 1615[label="",style="solid", color="black", weight=3];
1570[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (not (EQ == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (not (EQ == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1570 -> 1577[label="",style="solid", color="black", weight=3];
1613[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1613 -> 1622[label="",style="solid", color="black", weight=3];
1614[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ Zero))) (not True) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ Zero))) (not True) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1614 -> 1623[label="",style="solid", color="black", weight=3];
1571[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (not (EQ == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (not (EQ == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1571 -> 1578[label="",style="solid", color="black", weight=3];
1638[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ vuz440))) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ vuz440))) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1638 -> 1647[label="",style="solid", color="black", weight=3];
1639[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos Zero) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos Zero) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1639 -> 1648[label="",style="solid", color="black", weight=3];
1645[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ vuz580))) otherwise `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ vuz580))) otherwise `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1645 -> 1654[label="",style="solid", color="black", weight=3];
1646[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Neg Zero) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Neg Zero) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1646 -> 1655[label="",style="solid", color="black", weight=3];
1615[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (not (GT == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (not (GT == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1615 -> 1624[label="",style="solid", color="black", weight=3];
1577[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (not False) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (not False) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1577 -> 1584[label="",style="solid", color="black", weight=3];
1622[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (not True) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (not True) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1622 -> 1631[label="",style="solid", color="black", weight=3];
1623[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ Zero))) False `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ Zero))) False `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1623 -> 1632[label="",style="solid", color="black", weight=3];
1578[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (not False) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (not False) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1578 -> 1585[label="",style="solid", color="black", weight=3];
1647[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ vuz440)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (Succ vuz440)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1647 -> 1656[label="",style="solid", color="black", weight=3];
1648[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1648 -> 1657[label="",style="solid", color="black", weight=3];
1654[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ vuz580))) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ vuz580))) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1654 -> 1663[label="",style="solid", color="black", weight=3];
1655 -> 1607[label="",style="dashed", color="red", weight=0];
1655[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))))",fontsize=16,color="magenta"];1655 -> 1664[label="",style="dashed", color="magenta", weight=3];
1624[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (not False) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (not False) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1624 -> 1633[label="",style="solid", color="black", weight=3];
1584[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1584 -> 1591[label="",style="solid", color="black", weight=3];
1631[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz73)))) False `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz73)))) False `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1631 -> 1640[label="",style="solid", color="black", weight=3];
1632[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ Zero))) otherwise `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ Zero))) otherwise `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1632 -> 1641[label="",style="solid", color="black", weight=3];
1585[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1585 -> 1592[label="",style="solid", color="black", weight=3];
1656[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos (Succ vuz440)) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ vuz440)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1656 -> 1665[label="",style="solid", color="black", weight=3];
1657[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1657 -> 1666[label="",style="solid", color="black", weight=3];
1663[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 ((`negate` Integer (Neg (Succ vuz580))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) ((`negate` Integer (Neg (Succ vuz580))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1663 -> 1672[label="",style="solid", color="black", weight=3];
1664[label="Integer (Pos (Succ Zero))",fontsize=16,color="green",shape="box"];1607[label="vuz77 `quot` gcd0Gcd'1 (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))))",fontsize=16,color="burlywood",shape="triangle"];1847[label="vuz77/Integer vuz770",fontsize=10,color="white",style="solid",shape="box"];1607 -> 1847[label="",style="solid", color="burlywood", weight=9];
1847 -> 1617[label="",style="solid", color="burlywood", weight=3];
1633[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz75)))) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz75)))) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1633 -> 1642[label="",style="solid", color="black", weight=3];
1591[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (Integer (Pos Zero) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos Zero) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1591 -> 1598[label="",style="solid", color="black", weight=3];
1640[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ (Succ vuz73)))) otherwise `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ (Succ vuz73)))) otherwise `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1640 -> 1649[label="",style="solid", color="black", weight=3];
1641[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ Zero))) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ Zero))) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1641 -> 1650[label="",style="solid", color="black", weight=3];
1592[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (Integer (Neg Zero) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Neg Zero) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1592 -> 1599[label="",style="solid", color="black", weight=3];
1665[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos (Succ vuz440)) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ vuz440)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1665 -> 1673[label="",style="solid", color="black", weight=3];
1666[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos Zero) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1666 -> 1674[label="",style="solid", color="black", weight=3];
1672[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primNegInt (Neg (Succ vuz580))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primNegInt (Neg (Succ vuz580))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1672 -> 1680[label="",style="solid", color="black", weight=3];
1617[label="Integer vuz770 `quot` gcd0Gcd'1 (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1617 -> 1626[label="",style="solid", color="black", weight=3];
1642[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (Integer (Pos (Succ (Succ vuz75))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (Succ (Succ vuz75))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1642 -> 1651[label="",style="solid", color="black", weight=3];
1598[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1598 -> 1606[label="",style="solid", color="black", weight=3];
1649[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ (Succ vuz73)))) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ (Succ vuz73)))) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1649 -> 1658[label="",style="solid", color="black", weight=3];
1650[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 ((`negate` Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) ((`negate` Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1650 -> 1659[label="",style="solid", color="black", weight=3];
1599 -> 1607[label="",style="dashed", color="red", weight=0];
1599[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))))",fontsize=16,color="magenta"];1599 -> 1608[label="",style="dashed", color="magenta", weight=3];
1673[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos (Succ vuz440)) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ vuz440)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="triangle"];1673 -> 1681[label="",style="solid", color="black", weight=3];
1674[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS Zero (Succ Zero))))",fontsize=16,color="black",shape="triangle"];1674 -> 1682[label="",style="solid", color="black", weight=3];
1680[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ vuz580))) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ vuz580))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1680 -> 1688[label="",style="solid", color="black", weight=3];
1626[label="Integer vuz770 `quot` gcd0Gcd'1 (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1626 -> 1635[label="",style="solid", color="black", weight=3];
1651[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos (Succ (Succ vuz75))) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ (Succ vuz75))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1651 -> 1660[label="",style="solid", color="black", weight=3];
1606[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1606 -> 1616[label="",style="solid", color="black", weight=3];
1658[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 ((`negate` Integer (Neg (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) ((`negate` Integer (Neg (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1658 -> 1667[label="",style="solid", color="black", weight=3];
1659[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primNegInt (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primNegInt (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1659 -> 1668[label="",style="solid", color="black", weight=3];
1608[label="Integer (Neg Zero)",fontsize=16,color="green",shape="box"];1681[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ vuz440) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ vuz440) (Succ Zero))))",fontsize=16,color="black",shape="triangle"];1681 -> 1689[label="",style="solid", color="black", weight=3];
1682[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];1682 -> 1690[label="",style="solid", color="black", weight=3];
1688[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ vuz580))) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ vuz580))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1688 -> 1697[label="",style="solid", color="black", weight=3];
1635[label="Integer vuz770 `quot` gcd0Gcd'1 (primEqInt (primRemInt (Neg Zero) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1635 -> 1644[label="",style="solid", color="black", weight=3];
1660[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos (Succ (Succ vuz75))) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ (Succ vuz75))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1660 -> 1669[label="",style="solid", color="black", weight=3];
1616[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos Zero) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1616 -> 1625[label="",style="solid", color="black", weight=3];
1667[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (Integer (primNegInt (Neg (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primNegInt (Neg (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1667 -> 1675[label="",style="solid", color="black", weight=3];
1668[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ Zero))) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ Zero))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1668 -> 1676[label="",style="solid", color="black", weight=3];
1689[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 vuz440 Zero (primGEqNatS vuz440 Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 vuz440 Zero (primGEqNatS vuz440 Zero))))",fontsize=16,color="burlywood",shape="box"];1849[label="vuz440/Succ vuz4400",fontsize=10,color="white",style="solid",shape="box"];1689 -> 1849[label="",style="solid", color="burlywood", weight=9];
1849 -> 1698[label="",style="solid", color="burlywood", weight=3];
1850[label="vuz440/Zero",fontsize=10,color="white",style="solid",shape="box"];1689 -> 1850[label="",style="solid", color="burlywood", weight=9];
1850 -> 1699[label="",style="solid", color="burlywood", weight=3];
1690[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];1690 -> 1700[label="",style="solid", color="black", weight=3];
1697[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (primRemInt (primNegInt (Neg (Succ vuz580))) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ vuz580))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1697 -> 1706[label="",style="solid", color="black", weight=3];
1644[label="Integer vuz770 `quot` gcd0Gcd'1 (primEqInt (Neg (primModNatS Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Neg (primModNatS Zero (Succ Zero))))",fontsize=16,color="black",shape="box"];1644 -> 1653[label="",style="solid", color="black", weight=3];
1669[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos (Succ (Succ vuz75))) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ (Succ vuz75))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1669 -> 1677[label="",style="solid", color="black", weight=3];
1625[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS Zero (Succ Zero))))",fontsize=16,color="black",shape="box"];1625 -> 1634[label="",style="solid", color="black", weight=3];
1675[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ (Succ vuz73)))) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ (Succ vuz73)))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1675 -> 1683[label="",style="solid", color="black", weight=3];
1676[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ Zero))) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ Zero))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1676 -> 1684[label="",style="solid", color="black", weight=3];
1698[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz4400) Zero (primGEqNatS (Succ vuz4400) Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz4400) Zero (primGEqNatS (Succ vuz4400) Zero))))",fontsize=16,color="black",shape="box"];1698 -> 1707[label="",style="solid", color="black", weight=3];
1699[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 Zero Zero (primGEqNatS Zero Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 Zero Zero (primGEqNatS Zero Zero))))",fontsize=16,color="black",shape="box"];1699 -> 1708[label="",style="solid", color="black", weight=3];
1700 -> 1671[label="",style="dashed", color="red", weight=0];
1700[label="Integer (Pos (Succ Zero)) `quot` Integer (Pos (Succ Zero))",fontsize=16,color="magenta"];1700 -> 1709[label="",style="dashed", color="magenta", weight=3];
1706 -> 1673[label="",style="dashed", color="red", weight=0];
1706[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos (Succ vuz580)) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ vuz580)) (Pos (Succ Zero))))",fontsize=16,color="magenta"];1706 -> 1715[label="",style="dashed", color="magenta", weight=3];
1653[label="Integer vuz770 `quot` gcd0Gcd'1 (primEqInt (Neg Zero) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Neg Zero))",fontsize=16,color="black",shape="box"];1653 -> 1662[label="",style="solid", color="black", weight=3];
1677[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ (Succ vuz75)) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ (Succ vuz75)) (Succ Zero))))",fontsize=16,color="black",shape="box"];1677 -> 1685[label="",style="solid", color="black", weight=3];
1634[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];1634 -> 1643[label="",style="solid", color="black", weight=3];
1683[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ (Succ vuz73)))) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ (Succ vuz73)))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1683 -> 1691[label="",style="solid", color="black", weight=3];
1684[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (primRemInt (primNegInt (Neg (Succ Zero))) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ Zero))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1684 -> 1692[label="",style="solid", color="black", weight=3];
1707[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz4400) Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz4400) Zero True)))",fontsize=16,color="black",shape="box"];1707 -> 1716[label="",style="solid", color="black", weight=3];
1708[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 Zero Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 Zero Zero True)))",fontsize=16,color="black",shape="box"];1708 -> 1717[label="",style="solid", color="black", weight=3];
1709[label="Pos (Succ Zero)",fontsize=16,color="green",shape="box"];1671[label="Integer vuz770 `quot` Integer (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];1671 -> 1679[label="",style="solid", color="black", weight=3];
1715[label="vuz580",fontsize=16,color="green",shape="box"];1662[label="Integer vuz770 `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Neg Zero))",fontsize=16,color="black",shape="box"];1662 -> 1671[label="",style="solid", color="black", weight=3];
1685[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz75) Zero (primGEqNatS (Succ vuz75) Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz75) Zero (primGEqNatS (Succ vuz75) Zero))))",fontsize=16,color="black",shape="box"];1685 -> 1693[label="",style="solid", color="black", weight=3];
1643[label="Integer (Pos Zero) `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];1643 -> 1652[label="",style="solid", color="black", weight=3];
1691[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (primRemInt (primNegInt (Neg (Succ (Succ vuz73)))) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ (Succ vuz73)))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1691 -> 1701[label="",style="solid", color="black", weight=3];
1692[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ Zero)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1692 -> 1702[label="",style="solid", color="black", weight=3];
1716[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS (Succ vuz4400) Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS (Succ vuz4400) Zero) (Succ Zero))))",fontsize=16,color="black",shape="box"];1716 -> 1724[label="",style="solid", color="black", weight=3];
1717[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS Zero Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS Zero Zero) (Succ Zero))))",fontsize=16,color="black",shape="box"];1717 -> 1725[label="",style="solid", color="black", weight=3];
1679[label="Integer (primQuotInt vuz770 (Pos (Succ Zero)))",fontsize=16,color="green",shape="box"];1679 -> 1687[label="",style="dashed", color="green", weight=3];
1693[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz75) Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz75) Zero True)))",fontsize=16,color="black",shape="triangle"];1693 -> 1703[label="",style="solid", color="black", weight=3];
1652[label="Integer (Pos Zero) `quot` Integer (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1652 -> 1661[label="",style="solid", color="black", weight=3];
1701[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos (Succ (Succ vuz73))) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ (Succ vuz73))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1701 -> 1710[label="",style="solid", color="black", weight=3];
1702[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ Zero) (Succ Zero))))",fontsize=16,color="black",shape="box"];1702 -> 1711[label="",style="solid", color="black", weight=3];
1724 -> 1681[label="",style="dashed", color="red", weight=0];
1724[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ vuz4400) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ vuz4400) (Succ Zero))))",fontsize=16,color="magenta"];1724 -> 1732[label="",style="dashed", color="magenta", weight=3];
1725 -> 1674[label="",style="dashed", color="red", weight=0];
1725[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS Zero (Succ Zero))))",fontsize=16,color="magenta"];1687[label="primQuotInt vuz770 (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];1855[label="vuz770/Pos vuz7700",fontsize=10,color="white",style="solid",shape="box"];1687 -> 1855[label="",style="solid", color="burlywood", weight=9];
1855 -> 1695[label="",style="solid", color="burlywood", weight=3];
1856[label="vuz770/Neg vuz7700",fontsize=10,color="white",style="solid",shape="box"];1687 -> 1856[label="",style="solid", color="burlywood", weight=9];
1856 -> 1696[label="",style="solid", color="burlywood", weight=3];
1703[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS (Succ vuz75) Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS (Succ vuz75) Zero) (Succ Zero))))",fontsize=16,color="black",shape="box"];1703 -> 1712[label="",style="solid", color="black", weight=3];
1661[label="Integer (primQuotInt (Pos Zero) (Pos (Succ Zero)))",fontsize=16,color="green",shape="box"];1661 -> 1670[label="",style="dashed", color="green", weight=3];
1710 -> 1767[label="",style="dashed", color="red", weight=0];
1710[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ (Succ vuz73)) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ (Succ vuz73)) (Succ Zero))))",fontsize=16,color="magenta"];1710 -> 1768[label="",style="dashed", color="magenta", weight=3];
1710 -> 1769[label="",style="dashed", color="magenta", weight=3];
1711[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 Zero Zero (primGEqNatS Zero Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 Zero Zero (primGEqNatS Zero Zero))))",fontsize=16,color="black",shape="box"];1711 -> 1719[label="",style="solid", color="black", weight=3];
1732[label="vuz4400",fontsize=16,color="green",shape="box"];1695[label="primQuotInt (Pos vuz7700) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1695 -> 1704[label="",style="solid", color="black", weight=3];
1696[label="primQuotInt (Neg vuz7700) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1696 -> 1705[label="",style="solid", color="black", weight=3];
1712[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ vuz75) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ vuz75) (Succ Zero))))",fontsize=16,color="black",shape="box"];1712 -> 1720[label="",style="solid", color="black", weight=3];
1670[label="primQuotInt (Pos Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1670 -> 1678[label="",style="solid", color="black", weight=3];
1768[label="Succ (Succ vuz73)",fontsize=16,color="green",shape="box"];1769[label="Succ (Succ vuz73)",fontsize=16,color="green",shape="box"];1767[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS vuz79 (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS vuz78 (Succ Zero))))",fontsize=16,color="burlywood",shape="triangle"];1858[label="vuz79/Succ vuz790",fontsize=10,color="white",style="solid",shape="box"];1767 -> 1858[label="",style="solid", color="burlywood", weight=9];
1858 -> 1776[label="",style="solid", color="burlywood", weight=3];
1859[label="vuz79/Zero",fontsize=10,color="white",style="solid",shape="box"];1767 -> 1859[label="",style="solid", color="burlywood", weight=9];
1859 -> 1777[label="",style="solid", color="burlywood", weight=3];
1719[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 Zero Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 Zero Zero True)))",fontsize=16,color="black",shape="box"];1719 -> 1727[label="",style="solid", color="black", weight=3];
1704[label="Pos (primDivNatS vuz7700 (Succ Zero))",fontsize=16,color="green",shape="box"];1704 -> 1713[label="",style="dashed", color="green", weight=3];
1705[label="Neg (primDivNatS vuz7700 (Succ Zero))",fontsize=16,color="green",shape="box"];1705 -> 1714[label="",style="dashed", color="green", weight=3];
1720[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 vuz75 Zero (primGEqNatS vuz75 Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 vuz75 Zero (primGEqNatS vuz75 Zero))))",fontsize=16,color="burlywood",shape="box"];1860[label="vuz75/Succ vuz750",fontsize=10,color="white",style="solid",shape="box"];1720 -> 1860[label="",style="solid", color="burlywood", weight=9];
1860 -> 1728[label="",style="solid", color="burlywood", weight=3];
1861[label="vuz75/Zero",fontsize=10,color="white",style="solid",shape="box"];1720 -> 1861[label="",style="solid", color="burlywood", weight=9];
1861 -> 1729[label="",style="solid", color="burlywood", weight=3];
1678[label="Pos (primDivNatS Zero (Succ Zero))",fontsize=16,color="green",shape="box"];1678 -> 1686[label="",style="dashed", color="green", weight=3];
1776[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ vuz790) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS vuz78 (Succ Zero))))",fontsize=16,color="black",shape="box"];1776 -> 1779[label="",style="solid", color="black", weight=3];
1777[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS vuz78 (Succ Zero))))",fontsize=16,color="black",shape="box"];1777 -> 1780[label="",style="solid", color="black", weight=3];
1727[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS Zero Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS Zero Zero) (Succ Zero))))",fontsize=16,color="black",shape="box"];1727 -> 1734[label="",style="solid", color="black", weight=3];
1713[label="primDivNatS vuz7700 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];1862[label="vuz7700/Succ vuz77000",fontsize=10,color="white",style="solid",shape="box"];1713 -> 1862[label="",style="solid", color="burlywood", weight=9];
1862 -> 1721[label="",style="solid", color="burlywood", weight=3];
1863[label="vuz7700/Zero",fontsize=10,color="white",style="solid",shape="box"];1713 -> 1863[label="",style="solid", color="burlywood", weight=9];
1863 -> 1722[label="",style="solid", color="burlywood", weight=3];
1714 -> 1713[label="",style="dashed", color="red", weight=0];
1714[label="primDivNatS vuz7700 (Succ Zero)",fontsize=16,color="magenta"];1714 -> 1723[label="",style="dashed", color="magenta", weight=3];
1728[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz750) Zero (primGEqNatS (Succ vuz750) Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz750) Zero (primGEqNatS (Succ vuz750) Zero))))",fontsize=16,color="black",shape="box"];1728 -> 1735[label="",style="solid", color="black", weight=3];
1729[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 Zero Zero (primGEqNatS Zero Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 Zero Zero (primGEqNatS Zero Zero))))",fontsize=16,color="black",shape="box"];1729 -> 1736[label="",style="solid", color="black", weight=3];
1686[label="primDivNatS Zero (Succ Zero)",fontsize=16,color="black",shape="box"];1686 -> 1694[label="",style="solid", color="black", weight=3];
1779[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 vuz790 Zero (primGEqNatS vuz790 Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 vuz790 Zero (primGEqNatS vuz790 Zero))))",fontsize=16,color="burlywood",shape="box"];1865[label="vuz790/Succ vuz7900",fontsize=10,color="white",style="solid",shape="box"];1779 -> 1865[label="",style="solid", color="burlywood", weight=9];
1865 -> 1781[label="",style="solid", color="burlywood", weight=3];
1866[label="vuz790/Zero",fontsize=10,color="white",style="solid",shape="box"];1779 -> 1866[label="",style="solid", color="burlywood", weight=9];
1866 -> 1782[label="",style="solid", color="burlywood", weight=3];
1780[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];1780 -> 1783[label="",style="solid", color="black", weight=3];
1734[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS Zero (Succ Zero))))",fontsize=16,color="black",shape="box"];1734 -> 1740[label="",style="solid", color="black", weight=3];
1721[label="primDivNatS (Succ vuz77000) (Succ Zero)",fontsize=16,color="black",shape="box"];1721 -> 1730[label="",style="solid", color="black", weight=3];
1722[label="primDivNatS Zero (Succ Zero)",fontsize=16,color="black",shape="box"];1722 -> 1731[label="",style="solid", color="black", weight=3];
1723[label="vuz7700",fontsize=16,color="green",shape="box"];1735 -> 1693[label="",style="dashed", color="red", weight=0];
1735[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz750) Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz750) Zero True)))",fontsize=16,color="magenta"];1735 -> 1741[label="",style="dashed", color="magenta", weight=3];
1736[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 Zero Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 Zero Zero True)))",fontsize=16,color="black",shape="box"];1736 -> 1742[label="",style="solid", color="black", weight=3];
1694[label="Zero",fontsize=16,color="green",shape="box"];1781[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz7900) Zero (primGEqNatS (Succ vuz7900) Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz7900) Zero (primGEqNatS (Succ vuz7900) Zero))))",fontsize=16,color="black",shape="box"];1781 -> 1784[label="",style="solid", color="black", weight=3];
1782[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 Zero Zero (primGEqNatS Zero Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 Zero Zero (primGEqNatS Zero Zero))))",fontsize=16,color="black",shape="box"];1782 -> 1785[label="",style="solid", color="black", weight=3];
1783[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];1783 -> 1786[label="",style="solid", color="black", weight=3];
1740[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];1740 -> 1746[label="",style="solid", color="black", weight=3];
1730[label="primDivNatS0 vuz77000 Zero (primGEqNatS vuz77000 Zero)",fontsize=16,color="burlywood",shape="box"];1868[label="vuz77000/Succ vuz770000",fontsize=10,color="white",style="solid",shape="box"];1730 -> 1868[label="",style="solid", color="burlywood", weight=9];
1868 -> 1737[label="",style="solid", color="burlywood", weight=3];
1869[label="vuz77000/Zero",fontsize=10,color="white",style="solid",shape="box"];1730 -> 1869[label="",style="solid", color="burlywood", weight=9];
1869 -> 1738[label="",style="solid", color="burlywood", weight=3];
1731[label="Zero",fontsize=16,color="green",shape="box"];1741[label="vuz750",fontsize=16,color="green",shape="box"];1742[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS Zero Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS Zero Zero) (Succ Zero))))",fontsize=16,color="black",shape="box"];1742 -> 1747[label="",style="solid", color="black", weight=3];
1784[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz7900) Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz7900) Zero True)))",fontsize=16,color="black",shape="box"];1784 -> 1787[label="",style="solid", color="black", weight=3];
1785[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 Zero Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 Zero Zero True)))",fontsize=16,color="black",shape="box"];1785 -> 1788[label="",style="solid", color="black", weight=3];
1786 -> 1671[label="",style="dashed", color="red", weight=0];
1786[label="Integer (Neg (Succ (Succ vuz72))) `quot` Integer (Pos (Succ Zero))",fontsize=16,color="magenta"];1786 -> 1789[label="",style="dashed", color="magenta", weight=3];
1746[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];1746 -> 1752[label="",style="solid", color="black", weight=3];
1737[label="primDivNatS0 (Succ vuz770000) Zero (primGEqNatS (Succ vuz770000) Zero)",fontsize=16,color="black",shape="box"];1737 -> 1743[label="",style="solid", color="black", weight=3];
1738[label="primDivNatS0 Zero Zero (primGEqNatS Zero Zero)",fontsize=16,color="black",shape="box"];1738 -> 1744[label="",style="solid", color="black", weight=3];
1747[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS Zero (Succ Zero))))",fontsize=16,color="black",shape="box"];1747 -> 1753[label="",style="solid", color="black", weight=3];
1787 -> 1767[label="",style="dashed", color="red", weight=0];
1787[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS (Succ vuz7900) Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS (Succ vuz7900) Zero) (Succ Zero))))",fontsize=16,color="magenta"];1787 -> 1790[label="",style="dashed", color="magenta", weight=3];
1787 -> 1791[label="",style="dashed", color="magenta", weight=3];
1788 -> 1767[label="",style="dashed", color="red", weight=0];
1788[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS Zero Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS Zero Zero) (Succ Zero))))",fontsize=16,color="magenta"];1788 -> 1792[label="",style="dashed", color="magenta", weight=3];
1788 -> 1793[label="",style="dashed", color="magenta", weight=3];
1789[label="Neg (Succ (Succ vuz72))",fontsize=16,color="green",shape="box"];1752 -> 1671[label="",style="dashed", color="red", weight=0];
1752[label="Integer (Neg (Succ Zero)) `quot` Integer (Pos (Succ Zero))",fontsize=16,color="magenta"];1752 -> 1758[label="",style="dashed", color="magenta", weight=3];
1743[label="primDivNatS0 (Succ vuz770000) Zero True",fontsize=16,color="black",shape="box"];1743 -> 1748[label="",style="solid", color="black", weight=3];
1744[label="primDivNatS0 Zero Zero True",fontsize=16,color="black",shape="box"];1744 -> 1749[label="",style="solid", color="black", weight=3];
1753[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];1753 -> 1759[label="",style="solid", color="black", weight=3];
1790 -> 1760[label="",style="dashed", color="red", weight=0];
1790[label="primMinusNatS (Succ vuz7900) Zero",fontsize=16,color="magenta"];1790 -> 1794[label="",style="dashed", color="magenta", weight=3];
1791 -> 1760[label="",style="dashed", color="red", weight=0];
1791[label="primMinusNatS (Succ vuz7900) Zero",fontsize=16,color="magenta"];1791 -> 1795[label="",style="dashed", color="magenta", weight=3];
1792 -> 1761[label="",style="dashed", color="red", weight=0];
1792[label="primMinusNatS Zero Zero",fontsize=16,color="magenta"];1793 -> 1761[label="",style="dashed", color="red", weight=0];
1793[label="primMinusNatS Zero Zero",fontsize=16,color="magenta"];1758[label="Neg (Succ Zero)",fontsize=16,color="green",shape="box"];1748[label="Succ (primDivNatS (primMinusNatS (Succ vuz770000) Zero) (Succ Zero))",fontsize=16,color="green",shape="box"];1748 -> 1754[label="",style="dashed", color="green", weight=3];
1749[label="Succ (primDivNatS (primMinusNatS Zero Zero) (Succ Zero))",fontsize=16,color="green",shape="box"];1749 -> 1755[label="",style="dashed", color="green", weight=3];
1759[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];1759 -> 1764[label="",style="solid", color="black", weight=3];
1794[label="vuz7900",fontsize=16,color="green",shape="box"];1760[label="primMinusNatS (Succ vuz770000) Zero",fontsize=16,color="black",shape="triangle"];1760 -> 1765[label="",style="solid", color="black", weight=3];
1795[label="vuz7900",fontsize=16,color="green",shape="box"];1761[label="primMinusNatS Zero Zero",fontsize=16,color="black",shape="triangle"];1761 -> 1766[label="",style="solid", color="black", weight=3];
1754 -> 1713[label="",style="dashed", color="red", weight=0];
1754[label="primDivNatS (primMinusNatS (Succ vuz770000) Zero) (Succ Zero)",fontsize=16,color="magenta"];1754 -> 1760[label="",style="dashed", color="magenta", weight=3];
1755 -> 1713[label="",style="dashed", color="red", weight=0];
1755[label="primDivNatS (primMinusNatS Zero Zero) (Succ Zero)",fontsize=16,color="magenta"];1755 -> 1761[label="",style="dashed", color="magenta", weight=3];
1764 -> 1671[label="",style="dashed", color="red", weight=0];
1764[label="Integer (Pos (Succ (Succ vuz74))) `quot` Integer (Pos (Succ Zero))",fontsize=16,color="magenta"];1764 -> 1778[label="",style="dashed", color="magenta", weight=3];
1765[label="Succ vuz770000",fontsize=16,color="green",shape="box"];1766[label="Zero",fontsize=16,color="green",shape="box"];1778[label="Pos (Succ (Succ vuz74))",fontsize=16,color="green",shape="box"];}

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                            ↳ QDPSizeChangeProof

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primMulNat(Succ(vuz3000)) → new_primMulNat(vuz3000)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_primMulNat(Succ(vuz3000)) → new_primMulNat(vuz3000)
The graph contains the following edges 1 > 1

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                          ↳ QDP

                            ↳ DependencyGraphProof

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primDivNatS(Succ(Zero)) → new_primDivNatS(new_primMinusNatS0)
new_primDivNatS(Succ(Succ(vuz770000))) → new_primDivNatS(new_primMinusNatS(vuz770000))

The TRS R consists of the following rules:

new_primMinusNatS0 → Zero
new_primMinusNatS(vuz770000) → Succ(vuz770000)

The set Q consists of the following terms:

new_primMinusNatS0
new_primMinusNatS(x0)

We have to consider all minimal (P,Q,R)-chains.
The approximation of the Dependency Graph [15,17,22] contains 1 SCC with 1 less node.

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                          ↳ QDP

                            ↳ DependencyGraphProof

                              ↳ QDP

                                ↳ UsableRulesProof

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primDivNatS(Succ(Succ(vuz770000))) → new_primDivNatS(new_primMinusNatS(vuz770000))

The TRS R consists of the following rules:

new_primMinusNatS0 → Zero
new_primMinusNatS(vuz770000) → Succ(vuz770000)

The set Q consists of the following terms:

new_primMinusNatS0
new_primMinusNatS(x0)

We have to consider all minimal (P,Q,R)-chains.
As all Q-normal forms are R-normal forms we are in the innermost case. Hence, by the usable rules processor [15] we can delete all non-usable rules [17] from R.

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                          ↳ QDP

                            ↳ DependencyGraphProof

                              ↳ QDP

                                ↳ UsableRulesProof

                                  ↳ QDP

                                    ↳ QReductionProof

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primDivNatS(Succ(Succ(vuz770000))) → new_primDivNatS(new_primMinusNatS(vuz770000))

The TRS R consists of the following rules:

new_primMinusNatS(vuz770000) → Succ(vuz770000)

The set Q consists of the following terms:

new_primMinusNatS0
new_primMinusNatS(x0)

We have to consider all minimal (P,Q,R)-chains.
We deleted the following terms from Q as each root-symbol of these terms does neither occur in P nor in R.

new_primMinusNatS0

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                          ↳ QDP

                            ↳ DependencyGraphProof

                              ↳ QDP

                                ↳ UsableRulesProof

                                  ↳ QDP

                                    ↳ QReductionProof

                                      ↳ QDP

                                        ↳ RuleRemovalProof

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primDivNatS(Succ(Succ(vuz770000))) → new_primDivNatS(new_primMinusNatS(vuz770000))

The TRS R consists of the following rules:

new_primMinusNatS(vuz770000) → Succ(vuz770000)

The set Q consists of the following terms:

new_primMinusNatS(x0)

We have to consider all minimal (P,Q,R)-chains.
By using the rule removal processor [15] with the following polynomial ordering [25], at least one Dependency Pair or term rewrite system rule of this QDP problem can be strictly oriented.
Strictly oriented dependency pairs:

new_primDivNatS(Succ(Succ(vuz770000))) → new_primDivNatS(new_primMinusNatS(vuz770000))

Strictly oriented rules of the TRS R:

new_primMinusNatS(vuz770000) → Succ(vuz770000)

Used ordering: POLO with Polynomial interpretation [25]:

POL(Succ(x₁)) = 1 + 2·x₁
POL(new_primDivNatS(x₁)) = x₁
POL(new_primMinusNatS(x₁)) = 2 + 2·x₁

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                          ↳ QDP

                            ↳ DependencyGraphProof

                              ↳ QDP

                                ↳ UsableRulesProof

                                  ↳ QDP

                                    ↳ QReductionProof

                                      ↳ QDP

                                        ↳ RuleRemovalProof

                                          ↳ QDP

                                            ↳ PisEmptyProof

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

Q DP problem:
P is empty.
R is empty.
The set Q consists of the following terms:

new_primMinusNatS(x0)

We have to consider all minimal (P,Q,R)-chains.
The TRS P is empty. Hence, there is no (P,Q,R) chain.

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

                            ↳ DependencyGraphProof

                          ↳ QDP

                          ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_quot(vuz72, Succ(Zero), vuz78) → new_quot(vuz72, new_primMinusNatS0, new_primMinusNatS0)
new_quot(vuz72, Succ(Succ(vuz7900)), vuz78) → new_quot(vuz72, new_primMinusNatS(vuz7900), new_primMinusNatS(vuz7900))

The TRS R consists of the following rules:

new_primMinusNatS0 → Zero
new_primMinusNatS(vuz770000) → Succ(vuz770000)

The set Q consists of the following terms:

new_primMinusNatS0
new_primMinusNatS(x0)

We have to consider all minimal (P,Q,R)-chains.
The approximation of the Dependency Graph [15,17,22] contains 1 SCC with 1 less node.

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

                            ↳ DependencyGraphProof

                              ↳ QDP

                                ↳ UsableRulesProof

                          ↳ QDP

                          ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_quot(vuz72, Succ(Succ(vuz7900)), vuz78) → new_quot(vuz72, new_primMinusNatS(vuz7900), new_primMinusNatS(vuz7900))

The TRS R consists of the following rules:

new_primMinusNatS0 → Zero
new_primMinusNatS(vuz770000) → Succ(vuz770000)

The set Q consists of the following terms:

new_primMinusNatS0
new_primMinusNatS(x0)

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

                            ↳ DependencyGraphProof

                              ↳ QDP

                                ↳ UsableRulesProof

                                  ↳ QDP

                                    ↳ QReductionProof

                          ↳ QDP

                          ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_quot(vuz72, Succ(Succ(vuz7900)), vuz78) → new_quot(vuz72, new_primMinusNatS(vuz7900), new_primMinusNatS(vuz7900))

The TRS R consists of the following rules:

new_primMinusNatS(vuz770000) → Succ(vuz770000)

The set Q consists of the following terms:

new_primMinusNatS0
new_primMinusNatS(x0)

We have to consider all minimal (P,Q,R)-chains.
We deleted the following terms from Q as each root-symbol of these terms does neither occur in P nor in R.

new_primMinusNatS0

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

                            ↳ DependencyGraphProof

                              ↳ QDP

                                ↳ UsableRulesProof

                                  ↳ QDP

                                    ↳ QReductionProof

                                      ↳ QDP

                                        ↳ RuleRemovalProof

                          ↳ QDP

                          ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_quot(vuz72, Succ(Succ(vuz7900)), vuz78) → new_quot(vuz72, new_primMinusNatS(vuz7900), new_primMinusNatS(vuz7900))

The TRS R consists of the following rules:

new_primMinusNatS(vuz770000) → Succ(vuz770000)

The set Q consists of the following terms:

new_primMinusNatS(x0)

new_quot(vuz72, Succ(Succ(vuz7900)), vuz78) → new_quot(vuz72, new_primMinusNatS(vuz7900), new_primMinusNatS(vuz7900))

Used ordering: POLO with Polynomial interpretation [25]:

POL(Succ(x₁)) = 1 + 2·x₁
POL(new_primMinusNatS(x₁)) = 1 + 2·x₁
POL(new_quot(x₁, x₂, x₃)) = x₁ + x₂ + x₃

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

                            ↳ DependencyGraphProof

                              ↳ QDP

                                ↳ UsableRulesProof

                                  ↳ QDP

                                    ↳ QReductionProof

                                      ↳ QDP

                                        ↳ RuleRemovalProof

                                          ↳ QDP

                                            ↳ PisEmptyProof

                          ↳ QDP

                          ↳ QDP

Q DP problem:
P is empty.
The TRS R consists of the following rules:

new_primMinusNatS(vuz770000) → Succ(vuz770000)

The set Q consists of the following terms:

new_primMinusNatS(x0)

We have to consider all minimal (P,Q,R)-chains.
The TRS P is empty. Hence, there is no (P,Q,R) chain.

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

                            ↳ QDPSizeChangeProof

                          ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_quot0(Succ(vuz4400)) → new_quot0(vuz4400)

From the DPs we obtained the following set of size-change graphs:

new_quot0(Succ(vuz4400)) → new_quot0(vuz4400)
The graph contains the following edges 1 > 1

↳ HASKELL

  ↳ IFR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ LetRed

                ↳ HASKELL

                  ↳ NumRed

                    ↳ HASKELL

                      ↳ Narrow

                        ↳ AND

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

                          ↳ QDP

                            ↳ QDPSizeChangeProof

Q DP problem:
The TRS P consists of the following rules:

new_quot1(vuz74, Succ(vuz750)) → new_quot1(vuz74, vuz750)

From the DPs we obtained the following set of size-change graphs:

new_quot1(vuz74, Succ(vuz750)) → new_quot1(vuz74, vuz750)
The graph contains the following edges 1 >= 1, 2 > 2

primDivNatS0	x y True	= Succ (primDivNatS (primMinusNatS x y) (Succ y))
primDivNatS0	x y False	= Zero

primModNatS0	x y True	= primModNatS (primMinusNatS x y) (Succ y)
primModNatS0	x y False	= Succ x

gcd2	True yz zu	= gcd1 (zu == 0) yz zu
gcd2	zy zz vuu	= gcd0 zz vuu

signumReal2	x True	= 0
signumReal2	x False	= signumReal1 x (x > 0)

signumReal1	x True	= 1
signumReal1	x False	= signumReal0 x otherwise

reduce2Reduce1	vux vuy x y True	= error []
reduce2Reduce1	vux vuy x y False	= reduce2Reduce0 vux vuy x y otherwise

gcd0Gcd'2	x xz	= gcd0Gcd'1 (xz == 0) x xz
gcd0Gcd'2	yx yy	= gcd0Gcd'0 yx yy